add REPL support