2853

Dropping endl; no need to micromanage I/O buffering most of
the time. In fact, it seems unnecessary even for the repl.
2854
2855

One less global.