rewrite test on top of `ReplTester`.