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;
  }