1  int k = 0;
       2  
       3  main()
       4  {
       5    int i;
       6    int j;
       7  
       8    for (i = 0; i < 2; i++)
       9      {
      10        if (k)
      11  	{
      12  	  if (j != 2)
      13  	    abort ();
      14  	}
      15        else
      16  	{
      17  	  j = 2;
      18  	  k++;
      19  	}
      20      }
      21    exit (0);
      22  }