main() { printf("Hello world"); }