To add to this, Clojure also has "trampoline" for TCO in mutually recursive functions.