main = print "Hello world"