let mk_memory_int_ctype kind = mk_memory_type_var (
match kind with
| IBool -> "Mbool"
| IChar -> "Mchar"
| ISChar -> "Mschar"
| IUChar -> "Muchar"
| IInt -> "Mint"
| IUInt -> "Muint"
| IShort -> "Mshort"
| IUShort -> "Mushort"
| ILong -> "Mlong"
| IULong -> "Mulong"
| ILongLong -> "Mlonglong"
| IULongLong -> "Mulonglong"
)