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