#include <stdio.h>

int main(void)
{
	char *name = "Bongo2";

	printf("Hello %s\n", name);
	return 0;
}