Re: [GHC] #11972: Weak pointers can cause segfault