REPL::execute
Nicer call to REPL::execute