#include <stdio.h>
extern int vdprintf(int fd, const char *restrict fmt, G_va_list arg);
extern int vdprintf
vdprintf writes formatted output to a file descriptor.