Write "Hello world!"