let mk_int_term value = mk_dummy_term (TConst( CInt64(Int64.of_int value,IInt,Some(string_of_int value)))) Cil.intType