import qualified Spec

main :: IO ()
main = Spec.main