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