python_while_else.py: