#include <stdio.h>

int main(void) {
	char S[] = "Hello world!";
	int a;
	printf("%s\n", S);

	return 0;
}