1  int array[10] = {1, 1, 1, 1, 1, 1, 1, 1, 1, 1};
       2  
       3  main ()
       4  {
       5    int i, j;
       6    int *p;
       7  
       8    for (i = 0; i < 10; i++)
       9      for (p = &array[0]; p != &array[9]; p++)
      10        if (*p == i)
      11  	goto label;
      12  
      13   label:
      14    if (i != 1)
      15      abort ();
      16    exit (0);
      17  }