{-# htermination divMod :: Int -> Int -> (Int,Int) #-}