Re: [GHC] #11294: T9430 fails on ARM