(write "Hello world")
(newline)