(DISPLAY "Hello world!")
(NEWLINE)