I don't think it is necessary to say this happens in a REPL.