(prn "Hello world!")