Prints out the string "Hello world!"