Added example REPL