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