BSD sockets in Ada