Guaranteed asymptotic space complexity

Proper tail recursion

Not a real problem because

• we can't use the standard calling convention anyway

We use tail. modifier for all calls, including non-tail calls.