#include <stdio.h>

/**
 * arg1 - print out argv[1].
 */
int
main (int argc, char *argv[])
{
  printf ("%s\n", argv[1]);
} // main