[moomin]

The quick answer is: mutually recursive functions. True TCO doesn't grow the stack when F calls G calls F again.