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