#include <stdio.h>

int main(int argc, char * argv[]) {
	fprintf(stdout, "Hello, %s!\n", "world");
	return 0;
}