let c_float fkind =
  let mach = Cil.theMachine.Cil.theMachine in
  match fkind with
    | FFloat -> make_c_float mach.sizeof_float
    | FDouble -> make_c_float mach.sizeof_double
    | FLongDouble -> make_c_float mach.sizeof_longdouble