1print-type-size type: `Pair<FiftyBytes>`: 100 bytes, alignment: 1 bytes 2print-type-size field `._car`: 50 bytes 3print-type-size field `._cdr`: 50 bytes 4print-type-size type: `FiftyBytes`: 50 bytes, alignment: 1 bytes 5print-type-size field `.0`: 50 bytes 6print-type-size type: `Pair<SevenBytes>`: 14 bytes, alignment: 1 bytes 7print-type-size field `._car`: 7 bytes 8print-type-size field `._cdr`: 7 bytes 9print-type-size type: `SevenBytes`: 7 bytes, alignment: 1 bytes 10print-type-size field `.0`: 7 bytes 11print-type-size type: `Pair<u8>`: 2 bytes, alignment: 1 bytes 12print-type-size field `._car`: 1 bytes 13print-type-size field `._cdr`: 1 bytes 14print-type-size type: `ZeroSized`: 0 bytes, alignment: 1 bytes 15