Re: [GHC] #12800: hs_try_putmvar003 sometimes fails