Removed, on second thought, the socket_t type