1 #include <stdio.h>
2 
3 extern int bar (void);
4 extern int baz (void);
5 
6 int
foo(void)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 }
16