There are heuristic ways to get around the undecidability of the halting problem, and in this case we're in danger of an infinite loop