Re: [GHC] #8341: T8333 fails to pass because of stdout ghci version mismatch