Re: [GHC] #11297: CmmSwitchTest fails on 32-bit platforms