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