Re: [GHC] #9525: +RTS -xc stack trace sometimes reported twice