dowhile.py