module Main (main) where

import qualified Prog

main = Prog.main