Document tail recursion