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