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