#include <stdio.h> int main (void) { puts ("Hello world!\n"); return 0; }