import qualified Velma

main :: IO ()
main = Velma.defaultMain