#include <stdio.h>

int
main (int argc, char **argv)
{
  printf ("hello\n");
  printf ("argc %p: %d\n", &argc, argc);
  printf ("argv %p: %p\n", &argv, argv);
  for (int i = 0; i < argc; i++) {
    printf ("%d: %s\n", i, argv[i]);
  }
}