1 extern void abort (void);
2 
main()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 
16