How would the "if this program halts then run forever, else halt" algorithm work on a real computer? I imagine it would fail with stack overflow.