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