Re: [GHC] #15372: GHCi leaks in DEBUG mode