1  int f (i) { return 12; }
       2  int g () { return 0; }
       3  
       4  main ()
       5  {
       6    int i, s;
       7  
       8    for (i = 0; i < 32; i++)
       9      {
      10        s = f (i);
      11  
      12        if (i == g ())
      13  	s = 42;
      14        if (i == 0 || s == 12)
      15  	;
      16        else
      17  	abort ();
      18      }
      19  
      20    exit (0);
      21  }