except that names declared in the init-statement are in
the same declarative region as those declared in the
condition, and except that a
continue in statement (not enclosed in another
iteration statement) will execute expression before
re-evaluating condition.
Thus the first statement specifies initialization for the loop; the
condition ([stmt.select]) specifies a test, sequenced before each
iteration, such that the loop is exited when the condition becomes
false; the expression often specifies incrementing that is
sequenced after each iteration.