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)")