int noddt;


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