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