Sana
Results
1
issues of
Sana
The algorithm cannot recuse indefinitely, since the second argument strictly decreases in each recursive call and is always nonnegative.