Several things must be pointed out regarding this statement. Since the
test is done at the end of the loop, the statements in the braces will
always be executed at least once. Secondly, if i were not changed within
the loop, the loop would never terminate, and hence the program would
never terminate. Finally, just like for the while loop, if only one
statement will be executed within the loop, no braces are required.