Proper tail recursion

Not a real problem because

we can't use the standard calling convention anyway

We once used the tail. modifier for all calls, including non-tail calls.
We now use a trampoline for all calls.