71.1.7. Příkaz cyklu while

FIXME: