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