module Main(main) where

import qualified TestLib

main :: IO ()
main = TestLib.main