module Main (module Main) where
main = return ()