Ahh, I misread your comment. Indeed, halting is not very interesting property of programs.