module Main where import Language.ATS.Exec (exec) main :: IO () main = exec