let c_int ikind =
let mach = Cil.theMachine.Cil.theMachine in
match ikind with
| IBool -> make_c_int false mach.sizeof_int
| IChar -> if mach.char_is_unsigned then UInt8 else SInt8
| ISChar -> SInt8
| IUChar -> UInt8
| IInt -> make_c_int true mach.sizeof_int
| IUInt -> make_c_int false mach.sizeof_int
| IShort -> make_c_int true mach.sizeof_short
| IUShort -> make_c_int false mach.sizeof_short
| ILong -> make_c_int true mach.sizeof_long
| IULong -> make_c_int false mach.sizeof_long
| ILongLong -> make_c_int true mach.sizeof_longlong
| IULongLong -> make_c_int false mach.sizeof_longlong