#include <stdio.h>

int
main()
{
    printf( "Hello world\n" );
    return 0;
}