initial repl.py