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