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