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