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