import qualified Driver (driverMain)

main :: IO ()
main = Driver.driverMain