#include <stdio.h>

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