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