{-# htermination read :: String -> Char #-}