10 lines · c
1struct FILE;2extern int vfprintf(struct FILE *s, const char *format, __builtin_va_list arg);3extern int vprintf(const char *format, __builtin_va_list arg);4 5extern __inline __attribute__((gnu_inline,always_inline)) int6vprintf(const char *x, __builtin_va_list y)7{8 return vfprintf (0, 0, y);9}10