2.6 do

A do loop is a post-checking loop. A statement is executed, then a condition is checked to see if the statement should execute again. The general form is as follows:

'do' <stmt> 'while' '('<bexpr>')'