import Test main :: IO () main = test