1 print-type-size type: `S5<(), Empty>`: 16 bytes, alignment: 4 bytes
2 print-type-size field `.tagw`: 0 bytes
3 print-type-size field `.unit`: 0 bytes
4 print-type-size field `.void`: 0 bytes
5 print-type-size field `.empty`: 0 bytes
6 print-type-size field `.tagz`: 0 bytes
7 print-type-size field `.w`: 4 bytes
8 print-type-size field `.x`: 4 bytes
9 print-type-size field `.y`: 4 bytes
10 print-type-size field `.z`: 4 bytes
11 print-type-size type: `S1`: 8 bytes, alignment: 4 bytes
12 print-type-size field `.tag`: 0 bytes
13 print-type-size field `.x`: 4 bytes
14 print-type-size field `.y`: 4 bytes
15 print-type-size type: `Empty`: 0 bytes, alignment: 1 bytes
16 print-type-size type: `Void`: 0 bytes, alignment: 1 bytes