And that's one reason why loops are hard to debug! Losing stack frames for recursive functions is not so bad. The real violence that TCO does is to non-recursi

And that's one reason why loops are hard to debug! Losing stack frames for recursive functions is not so bad. The real violence that TCO does is to non-recursive tail calls, which form the majority of tail calls, at least in non-functional languages.