add a REPL