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