1  #include <stdio.h>
       2  
       3  int foo1;
       4  int foo2;
       5  
       6  extern void xxx1 (void);
       7  extern void xxx2 (void);
       8  
       9  void
      10  bar (int x)
      11  {
      12    if (foo1 == 1)
      13      printf ("bar OK1\n");
      14    else if (foo1 == 0)
      15      printf ("bar OK2\n");
      16    if (foo2 == 1)
      17      printf ("bar OK3\n");
      18    else if (foo2 == 0)
      19      printf ("bar OK4\n");
      20    foo1 = -1;
      21    foo2 = -1;
      22    xxx1 ();
      23    xxx2 ();
      24  }