Практика этого года показала, что i := 0; WHILE i < число_требуемых_повторов DO ... INC(i) END воспринимается гораздо лучше. Именно в силу полной явности поведения, в сравнении с "запаянностью" FOR (Веселовский уже говорил о неясности для не-Паскалиста, включается верхняя граница или нет, и т.п.) Объясняем, что смысл величины i - это количество уже сделанных раз. Дальше всё очевидно. INC вместо i := i + 1 выбран сознательно, чтобы не фокусировать внимания на работе с переменными на этапе работы с исполнителями.