1  #include <stdio.h>
       2  
       3  extern int bar (void);
       4  extern int baz (void);
       5  
       6  int
       7  foo (void)
       8  {
       9    int v1 = bar ();
      10    int v2 = baz ();
      11  
      12    printf ("bar=%d, baz=%d\n", v1, v2);
      13  
      14    return v1 != 666 || v2 != 42;
      15  }