Just define an escape condition, like do "recursions until we reach zero". I don't think recursion has to be infinite? One example is tail-recursion which can be statically defined by a compiler.