#include<stdio.h>
int main(int argc, char**argv) {
  int k;
  fputs("Hello, World!\n",stdout);
  printf("argc = %d\n", argc);
  for (k = 0; k < argc; k++) {
    fputs(argv[k], stdout);
    fputs("\n", stdout);
  }
  return 0;
}