The while loop has the following form
while boolean_expression do statement
The while
statement declares a loop which is executed while
boolean_expression is true. Since the terminating condition is
checked before execution of the loop body, statement may never
be executed.