1  #include <stdio.h>
       2  
       3  int counter;
       4  extern void f(void);
       5  
       6  void
       7  real_g(void)
       8  {
       9    counter++;
      10  }
      11  
      12  int main()
      13  {
      14    real_g();
      15    f();
      16    if (counter == 3)
      17      printf ("PASS\n");
      18    return 0;
      19  }