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