I've seen the term "tail call elimination" applied to this general case and TCO applied to the recursion case. Is that still common? TCE is the more general one obviously .. and is what we almost always want.