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