1 #include <stdio.h>
2 
3 extern int select ();
4 extern int f2 (int);
5 
main(void)6 int main (void)
7 {
8   if (select () == 0 && f2 (0) == 22222)
9     printf ("PASS\n");
10   return 0;
11 }
12