let make_c_int signed = function
| 1 -> if signed then SInt8 else UInt8
| 2 -> if signed then SInt16 else UInt16
| 4 -> if signed then SInt32 else UInt32
| 8 -> if signed then SInt64 else UInt64
| size -> WpLog.not_yet_implemented "%d-bits integers" size