repl.c: command hanlding infrastructure.