Int 2 (subsystem, 4 in some systems)
Double 4
A pointer (whatever it points to) is an integer.
Structure: Cumulative sum of each type
* * * Homomorphism: the maximum number of bytes occupied by this type.