let new_var_def t lex_depth = { vd_ident = (incr vd_counter; !vd_counter); vd_pos = ref Pos_none; vd_type = ref t; vd_lex_depth = ref lex_depth; vd_value = None; vd_on_the_stack = ref false; }