default repl