That would break binary compatibility with all existing programs, though. So I guess the claim should be that it's impossible to implement a practically useful

That would break binary compatibility with all existing programs, though. So I guess the claim should be that it's impossible to implement a practically useful system without a de-facto recursion depth limit.