Removed SPARK.Text_IO. It is not supported for production use.