let mk_int_ctype _ikind = (* match ikind with
| IBool -> bool_type
| IChar -> Fol.PTexternal ([], "char")
| ISChar -> Fol.PTexternal ([], "schar")
| IUChar -> Fol.PTexternal ([], "uchar")
| IInt -> Fol.PTexternal ([], "cint")
| IUInt -> Fol.PTexternal ([], "uint")
| IShort -> Fol.PTexternal ([], "short")
| IUShort -> Fol.PTexternal ([], "ushort")
| ILong -> Fol.PTexternal ([], "long")
| IULong -> Fol.PTexternal ([], "ulong")
| ILongLong -> Fol.PTexternal ([], "longlong")
| IULongLong -> Fol.PTexternal ([], "ulonglong")
*)
Wp_parameters.warning ~once:true
"all C integral types are considered as ACSL integer for the moment";
Fol.PTint