let mk_int_const value = new_exp (Const( CInt64( Int64.of_int (value), IInt, Some(string_of_int(value)) )))