let size_in_bytes ik =
let size = function
| IBool -> assert false
| IChar | ISChar | IUChar -> 1 (* Cil assumes char is one byte *)
| IInt | IUInt -> theMachine.theMachine.sizeof_int
| IShort | IUShort -> theMachine.theMachine.sizeof_short
| ILong | IULong -> theMachine.theMachine.sizeof_long
| ILongLong | IULongLong -> theMachine.theMachine.sizeof_longlong
in
size ik