let sizeof = function | Boolean -> 4 | Integer -> 4 | Pointer -> 4 | Other n -> n | No_type -> raise (Asm_error "internal error in sizeof (trying to get the size of No_type)")