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