Implements initial REPL