{-# htermination readIO :: String -> IO () #-}