print-type-size type: `E`: 32 bytes, alignment: 16 bytes
print-type-size     discriminant: 4 bytes
print-type-size     variant `B`: 28 bytes
print-type-size         padding: 12 bytes
print-type-size         field `.0`: 16 bytes, alignment: 16 bytes
print-type-size     variant `A`: 4 bytes
print-type-size         field `.0`: 4 bytes
print-type-size type: `S`: 32 bytes, alignment: 16 bytes
print-type-size     field `.c`: 16 bytes
print-type-size     field `.a`: 4 bytes
print-type-size     field `.b`: 4 bytes
print-type-size     field `.d`: 1 bytes
print-type-size     end padding: 7 bytes
print-type-size type: `A`: 16 bytes, alignment: 16 bytes
print-type-size     field `.0`: 4 bytes
print-type-size     end padding: 12 bytes