/* TODO: the code for IPv6 servers is hopelessly broken. Start again */
/* TODO: the code for IPv6 servers is hopelessly broken. Start again */
fprintf(stderr,"WARNING: IPv6 nameservers not really supported yet (experts may apply). Falling back to IPv4 and the default server. You may use -4, too\n");
#ifdef HAVE_RES_EXT
#ifdef HAVE_RES_EXT
/* Converts a generic sockaddr to an IPv6 sockaddr_in6 */
/* Converts a generic sockaddr to an IPv6 sockaddr_in6 */