1 void abort (void); 2 3 static unsigned char magic[] = "\235"; 4 static unsigned char value = '\235'; 5 main()6 int main() 7 { 8 if (value != magic[0]) 9 abort (); 10 return 0; 11 } 12