let mk_int_exp value = new_exp ~loc:Cil_datatype.Location.unknown (Const(CInt64(Int64.of_int value,IInt,Some(string_of_int value))))