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