#include <stdio.h>

int
main(void)
{
	(void) puts("Hello world\n");

	return (0);
}