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