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