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