42 print("Hello world!"); 10 42;