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