int noddt;


main(argc, argv)
{
	printf("Hello world\n");
}