theorem CommunicativeArithmeticGuard.Backend.fp32.sizeOf_spec
theorem CommunicativeArithmeticGuard.Backend.fp32.sizeOf_spec
: sizeOf j81b1gmr.CommunicativeArithmeticGuard.Backend.fp32 = 1