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