Curry port name server and sockets with symbolic namesCurry port name server and sockets with symbolic names