Halting problem update by @wslany.
Halting problem update by Gernot Lecaks.
Yet another halting problem update by Gernot Lecaks.