#include <stdio.h>                                 // argv.c
int main(int argc, char *argv[]) {
  int i;
  for (i = 0; i <= argc; i++)
    printf("argv[%d] = %p\t: ``%s''\n", i, argv[i], argv[i] ? argv[i] : "");
  return 0;
}