Nice discussions with Leonid and Rojo have made me interested in tail recursion. Tail recursion is not always easy to realize with Mathematica, so it may be nice to have tools for this. The question is the title: What tools can help realize tail recursion?