--001636ed6be8d6c7d3049e3d89c9
Content-Type: text/plain; charset=ISO-8859-1

Agreed, especially in this instance. You want to process until the input is
correct. 'while not' is just awkward.

--001636ed6be8d6c7d3049e3d89c9--