1 int (*p)(void);
2 
3 int
main()4 main ()
5 {
6   return p () != 0x1234;
7 }
8