netaddrinfo.cc #2