(write "Hello, world!")