Guess we can say the REPL itself works.