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