#include <stdio.h>

int main(int argc, char* argv[]) {
  for (int i = 0; i<argc; i++) {
    printf("%d: %s\n", i, argv[i]);
  }
  if (argv[argc] == 0) {
    printf("\nargv[argc] is a null pointer, as required by the standard!\n");
  }
}