let new_const_int_var n lex_depth =
  let vd = new_var_def Integer lex_depth in
    vd.vd_value <- Some (Int n);
    new_var vd