| print-type-size type: `Pair<FiftyBytes>`: 100 bytes, alignment: 1 bytes |
| print-type-size field `._car`: 50 bytes |
| print-type-size field `._cdr`: 50 bytes |
| print-type-size type: `FiftyBytes`: 50 bytes, alignment: 1 bytes |
| print-type-size field `.0`: 50 bytes |
| print-type-size type: `Pair<SevenBytes>`: 14 bytes, alignment: 1 bytes |
| print-type-size field `._car`: 7 bytes |
| print-type-size field `._cdr`: 7 bytes |
| print-type-size type: `SevenBytes`: 7 bytes, alignment: 1 bytes |
| print-type-size field `.0`: 7 bytes |
| print-type-size type: `Pair<u8>`: 2 bytes, alignment: 1 bytes |
| print-type-size field `._car`: 1 bytes |
| print-type-size field `._cdr`: 1 bytes |
| print-type-size type: `ZeroSized`: 0 bytes, alignment: 1 bytes |
