print-type-size type: `E1`: 12 bytes, alignment: 4 bytes
print-type-size     discriminant: 1 bytes
print-type-size     variant `B`: 11 bytes
print-type-size         padding: 3 bytes
print-type-size         field `.0`: 8 bytes, alignment: 4 bytes
print-type-size     variant `A`: 7 bytes
print-type-size         field `.1`: 1 bytes
print-type-size         padding: 2 bytes
print-type-size         field `.0`: 4 bytes, alignment: 4 bytes
print-type-size type: `E2`: 12 bytes, alignment: 4 bytes
print-type-size     discriminant: 1 bytes
print-type-size     variant `B`: 11 bytes
print-type-size         padding: 3 bytes
print-type-size         field `.0`: 8 bytes, alignment: 4 bytes
print-type-size     variant `A`: 7 bytes
print-type-size         field `.0`: 1 bytes
print-type-size         padding: 2 bytes
print-type-size         field `.1`: 4 bytes, alignment: 4 bytes
print-type-size type: `S`: 8 bytes, alignment: 4 bytes
print-type-size     field `.g`: 4 bytes
print-type-size     field `.a`: 1 bytes
print-type-size     field `.b`: 1 bytes
print-type-size     end padding: 2 bytes