Prints 'Hello world!'