Re: [GHC] #12899: ghc panics at random places with -jX