handler-case (match) is tail recursive