repl_cmd() prints to the repl's output stream

(not STDOUT)