Translate "Mutual Tail-Recursion"