Re: penalty for proper tail recursion