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