[omaranto]

I'd call it the "built-in repl" rather than the standard one, since I don't think it's actually standard for people to use it directly.