while_statement

<while_statement> ::=
  WHILE <
search_condition> DO <statement>