Re: [GHC] #13110: GHC API allocates memory which is never GC'd