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