Re: PATCH: (enhanced) getaddrinfo