Re: [GHC] #14705: ghc-iserv sometimes segfaults in profiled way