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