1  #include <stdio.h>
       2  
       3  int foo = 1;
       4  
       5  extern int *bar (void);
       6  extern int bar_ifunc (void);
       7  
       8  int
       9  main (void)
      10  {
      11    if (bar () == &foo && bar_ifunc () == 0xbadbeef)
      12      printf ("PASS\n");
      13    return 0;
      14  }