Yea, turns out programmers are pretty good at writing code that halts in Turing complete languages.