#include <stdio.h>

/**
 * args - print a table of all the arguments.
 */
int
main (int argc, char *argv[])
{
  int i;

  for (i = 0; i < argc; i++)
    printf ("%3d: %s\n", i, argv[i]);

  return 0;
} // main