Re: [GHC] #9920: Segfault in arm binary