added REPL definition