#include int main(void) { printf("Hello world!"); return 0; }