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