*new*-style tail-recursion