In Python, how to simulate the do-while loop?