{-# htermination read :: String -> () #-}