А сегодня я узнал, что бывает так: цикл выполняет свой первый оператор, после этого проверяет своё условие, и, если оно true, выполняет свои остальные вложенные операторы. После чего процедура повторяется: первый оператор, проверка и т.д.
И это не задокументировано. Никак. «Догадайся сам», мать их за ногу...