#include <stdio.h>

int
main(void)
{
	const char hello[] = "Hello World!";

	printf("%s %d\n", hello, 123);

	return (0);
}