1 #include <stdio.h>
2 
3 extern void foo(char);
4 
baz(int i)5 void baz(int i)
6 {
7   printf ("baz: %d\n", i);
8 }
9 
main(void)10 int main(void)
11 {
12   foo(42);
13   return 0;
14 }
15