(write-line "hello world")