main :: IO Int
main = return (42)