User blog comment:Deedlit11/Googology in Magic: the Gathering/@comment-5150073-20130601193137/@comment-5529393-20130613055314

One of the rules of our "maximum damage" game is that you can't have a deck that can go infinite if you played it right. The Turing-complete setup can go infinite, and it doesn't look like there's an easy way to do the Turing-complete setup that doesn't go infinite. So it's unknown if we can get a non-primitive recursive function using decks that can't go infinite.