-- main function for Div0 main :: IO () main = divTest