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