REPL stubs