a toy python repl