[Python-ideas] A suggestion for a do...while loop