(write "Hello world!")