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