a 1 ←

inc 1 ← inc 5 ≤ inc inc 1 + ← a a inc * ← for

a 120 =