let mk_float_ctype _fkind = (*match fkind with
| FFloat -> Fol.PTexternal ([], "float")
| FDouble -> Fol.PTexternal ([], "double")
| FLongDouble -> Fol.PTexternal ([], "longdouble")
*)
Wp_parameters.warning ~once:true
"all C float types are considered as ACSL real for the moment";
Fol.PTreal