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