Added output options, actual REPL.