Network.Socket now has separate child packages for input and output. The child packages are callable from SPARK.