#include <stdio.h>

int main(int argc, char *argv[])
{
	int i;

	printf("Hi <string>!\n");
	printf("argc=%d\n", argc);

	for (i = 0; i < argc; i++)
		printf("argv[%d] = %s\n", i, argv[i]);

	fprintf(stderr, "Ho!\n");
	return 0;
}