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