main = '(printLine "Hello world!")