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