Example output from the REPL.