{-# htermination mod :: Int -> Int -> Int #-}