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