#include <stdio.h>

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

    return ( 42 );
}