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