How to do proper tail recursion in a language without support for it