module Main (main) where
main = return ()