Improved tail recursion optimization: