adjusted REPL