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