Re: [GHC] #11299: T5435_gcc_v fails on ARM