[GHC] #12800: hs_try_putmvar003 sometimes fails