1 print-type-size type: `E1`: 12 bytes, alignment: 4 bytes
2 print-type-size discriminant: 1 bytes
3 print-type-size variant `B`: 11 bytes
4 print-type-size padding: 3 bytes
5 print-type-size field `.0`: 8 bytes, alignment: 4 bytes
6 print-type-size variant `A`: 7 bytes
7 print-type-size field `.1`: 1 bytes
8 print-type-size padding: 2 bytes
9 print-type-size field `.0`: 4 bytes, alignment: 4 bytes
10 print-type-size type: `E2`: 12 bytes, alignment: 4 bytes
11 print-type-size discriminant: 1 bytes
12 print-type-size variant `B`: 11 bytes
13 print-type-size padding: 3 bytes
14 print-type-size field `.0`: 8 bytes, alignment: 4 bytes
15 print-type-size variant `A`: 7 bytes
16 print-type-size field `.0`: 1 bytes
17 print-type-size padding: 2 bytes
18 print-type-size field `.1`: 4 bytes, alignment: 4 bytes
19 print-type-size type: `S`: 8 bytes, alignment: 4 bytes
20 print-type-size field `.g`: 4 bytes
21 print-type-size field `.a`: 1 bytes
22 print-type-size field `.b`: 1 bytes
23 print-type-size end padding: 2 bytes