Цикл з лічильником, цикл з передумовою