1  int main ()
       2  {
       3    int i;
       4    for (i = 0; i < 10; i++)
       5      continue;
       6    if (i < 10)
       7      abort ();
       8    exit (0);
       9  }