16.2.8 while Statements