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