Re: [GHC] #15184: T4442 fails on i386