// mainargs.c
// Illustrates command line arguments
int main (int argc, char** argv) { 
  int i; 
  printf("%d\n", argc);
  for (i=0; i<argc; i++) {
    printf("%s\n", argv[i]);
  }
}