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