tested REPL commands