let
mk_int_term value =
Cil
.lconstant (
My_bigint
.of_int value)