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