1  #include <stdio.h>
       2  
       3  extern void y (void);
       4  
       5  void
       6  x (void)
       7  {
       8    printf ("PASS\n");
       9  }
      10  
      11  
      12  int
      13  main (void)
      14  {
      15    y ();
      16    return 0;
      17  }