This PR is about Tailrec trampolines, not "@tailrec"