Updating: mutually-recursive-tail-call optimization is supported.