let
get_stack_var () =
let
vd = new_var_def
Pointer
0
in
vd.vd_pos :=
Pos_stack
0;
new_var vd