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))))