Exactly. And heck, even with loops that are guaranteed to terminate, you can loop long enough to have that be a problem. You really want to have no loops at a

Exactly. And heck, even with loops that are guaranteed to terminate, you can loop long enough to have that be a problem. You really want to have no loops at all, like DTrace and eBPF, or else you want to give up on this idea of not being Turing-complete. You have to decide how critical it is to be able to put a reasonable bound on the run-time of a function.