Re: [GHC] #13513: Incorrect behavior on arm64 with optimisations