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