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