De-SPARKED the Network.Socket package. It is being called from non-SPARK code and does not need to be in SPARK. Using full Ada simplifies error handling since exceptions can now be used.