Simplify REPL example