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