Update TestMrg32k3a.lhs