while loop : semantics
1) The condition is evaluated.
2) If it is true, then the body of the loop is executed. Then the control is transferred back to the condition for re-evaluation.
3) If the logical expression is false, the while loop is exited and control is transferred to the statement after the while statement.