[GHC] #12000: static pointer in ghci