Цикли з лічильником та передумовою (Lazarus)