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