1 #include <stdio.h>
2 
main(int argc,char ** argv)3 int main(int argc, char **argv)
4 {
5   printf ("PASS\n");
6   return (int) ((unsigned long long) argc / argv[0][0]);
7 }
8