In this loop, first,
the computer checks the initial
value; second executes the
statements inside the loop and
finally, checks the condition.
The process is repeated for next
pass, if the condition is true.
Otherwise, the loop stops. If the
condition is initially false, it will
execute for at least one time.