#include <stdio.h>

int main(int argc, char * argv[])
{ int i;
  printf("The command line was:\n");
  for (i = 0; i < argc; i += 1)
    printf("argv[%d] = \"%s\"\n", i, argv[i]); }