module T11647Sub (main) where main :: IO () main = return ()