main = print 42