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