Сначала мы попадаем в цикл, который увеличивает а на 1 и уменьшает b на 2 на каждой итерации, пока а <= 4. Значит будет 4 итерации, после которых: a = 5, b = 3.
Далее цикл, вычитающий из b 1 и прибавляющий к a b, пока b > 0. Значит будет 2 итерации, после которых: a = 8, b = 0.
a = 8.
