Re: HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE THAT I AM CORRECT

On 6/24/2025 2:58 AM, Mikko wrote:

printf("Fred Zwarts can't understand this is never reached\n");

void Infinite_Loop()
{
   HERE: goto HERE;
   OutputString("Fred Zwarts can't understand this is never reached\n");
   return;
}
_Infinite_Loop()
[00002136] 55             push ebp
[00002137] 8bec           mov ebp,esp
[00002139] ebfe           jmp 00002139
[0000213b] 6843070000     push 00000743
[00002140] e841e6ffff     call 00000786
[00002145] 83c404         add esp,+04
[00002148] 5d             pop ebp
[00002149] c3             ret
Size in bytes:(0020) [00002149]
*Begin Local Halt Decider Simulation   Execution Trace Stored at:113986*
[00002136][00113976][0011397a] 55             push ebp
[00002137][00113976][0011397a] 8bec           mov ebp,esp
[00002139][00113976][0011397a] ebfe           jmp 00002139
[00002139][00113976][0011397a] ebfe           jmp 00002139
*Local Halt Decider: Infinite Loop Detected Simulation Stopped*
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer