module Main where import Lib (exec) main :: IO () main = exec