{-# htermination readIO :: String -> IO Int #-}