print-type-size type: `S5<(), Empty>`: 16 bytes, alignment: 4 bytes
print-type-size     field `.tagw`: 0 bytes
print-type-size     field `.unit`: 0 bytes
print-type-size     field `.void`: 0 bytes
print-type-size     field `.empty`: 0 bytes
print-type-size     field `.tagz`: 0 bytes
print-type-size     field `.w`: 4 bytes
print-type-size     field `.x`: 4 bytes
print-type-size     field `.y`: 4 bytes
print-type-size     field `.z`: 4 bytes
print-type-size type: `S1`: 8 bytes, alignment: 4 bytes
print-type-size     field `.tag`: 0 bytes
print-type-size     field `.x`: 4 bytes
print-type-size     field `.y`: 4 bytes
print-type-size type: `Empty`: 0 bytes, alignment: 1 bytes
print-type-size type: `Void`: 0 bytes, alignment: 1 bytes