res_dprintf
static void res_dprintf(const char *, ...) ISC_FORMAT_PRINTF(1, 2);
if ((statp->options & RES_DEBUG) != 0U) res_dprintf x; \
static void res_dprintf(const char *, ...) ISC_FORMAT_PRINTF(1, 2);
if ((statp->options & RES_DEBUG) != 0U) res_dprintf x; \