Yeah, they could.
I think this example is trying to limit itself to the syntax of the do/while loop, though. So it can be fully understood on its own. Using the 'minimalist' decrement operators might distract someone new to the language.