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