The first thing the D semantic processor does is convert a `while` into a `for`, and the `for` semantic code then does all the work.