update with REPL example