2610
2611 - bug at the repl

Broken since 2563 with the new parenthesize.
New trick for manual tests: use eof state.