Removed the obsolete SPARK_IO.