In untyped-debugger-lang.txt, went with two kinds of convenient side effects.