/* Add the include here so that we can redefine __fxprintf.  */

#include <stdio.h>

/* Rename symbols for protected names used in libc itself.  */

#define __ioctl ioctl

#define __socket socket

#define __strchrnul strchrnul

#define __strncasecmp strncasecmp

#define __fxprintf(args...) /* ignore */

#include "../resolv/res_hconf.c"