1  #include <limits.h>
       2  
       3  extern void exit (int);
       4  extern void abort (void);
       5  
       6  volatile unsigned int i;
       7  
       8  int
       9  main (void)
      10  {
      11    unsigned char z = 0;
      12  
      13    do ++i;
      14    while (--z > 0);
      15    if (i != UCHAR_MAX + 1U)
      16      abort ();
      17    exit (0);
      18  }