1  extern volatile int ReadyFlag_NotProperlyInitialized;
       2  
       3  volatile int ReadyFlag_NotProperlyInitialized=1;
       4  
       5  int main(void)
       6  {
       7    if (ReadyFlag_NotProperlyInitialized != 1)
       8      __builtin_abort ();
       9    return 0;
      10  }