Re: [GHC] #11777: RTS source code issues