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