#include <stdio.h>

int main(int argc, char **argv) {
   int   i;
   fprintf(stderr,"%s: argc=%d\n",argv[0],argc);
   for( i = 0; i < argc; i++ ) {
      fprintf(stderr,"  argument #%d =%s\n",i,argv[i]);
   } 
}