rtld_fdprintfx
rtld_fdprintfx(STDOUT_FILENO, fmt->fmt,
int rtld_fdprintfx(int fd, const char *fmt, ...);