#include <stdio.h>

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