One more @tailrec example