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