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