Use the new REPL functions in the tutorial