blob: 930cf231ef72035fd88acbe97439667fc9707132 [file] [log] [blame]
#include <stdio.h>
extern int select ();
extern int f2 (int);
int main (void)
{
if (select () == 0 && f2 (0) == 22222)
printf ("PASS\n");
return 0;
}