1  extern void abort (void);
       2  
       3  int main()
       4  {
       5    int hicount = 0;
       6    unsigned char *c;
       7    char *str = "\x7f\xff";
       8    for (c = (unsigned char *)str; *c ; c++) {
       9      if (!(((unsigned int)(*c)) < 0x80)) hicount++;
      10    }
      11    if (hicount != 1)
      12      abort ();
      13    return 0;
      14  }
      15