This prints out "Hello world"