-- Hello world
main :: IO ()
main = undefined
-- Post-apocalyptic hello world