#include "stdio.h"

void main(int argc, const char *argv[])
{
	printf("Hello world!");
}