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