XPost: comp.theory, comp.lang.c++   
   From: polcott333@gmail.com   
      
   Think this all the way through do not make any guesses.   
   The answer must come from DD simulated by HHH   
   according to the semantics of the C programming language   
   and nothing else.   
      
   Simulating Termination Analyzer HHH correctly   
   simulates its input until:   
      
   (a) Detects a non-terminating behavior pattern:   
        abort simulation and return 0.   
      
   (b) Simulated input reaches its simulated   
        "return" statement: return 1.   
      
   (c) If it is impossible to match (a) or (b)   
        then (c) is matched   
      
   (a)(b)(c) are in strict priority order  (a)-->(b)-->(c)   
      
   typedef int (*ptr)();   
   int HHH(ptr P);   
      
   int DD()   
   {   
      int Halt_Status = HHH(DD);   
      if (Halt_Status)   
        HERE: goto HERE;   
      return Halt_Status;   
   }   
      
   int main()   
   {   
      HHH(DD);   
   }   
      
   Simulating Termination Analyzer applied to   
   the HP counter-example input   
   https://philpapers.org/archive/OLCSTA-3.pdf   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)