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
vprintf(const char * x,__builtin_va_list y)6 vprintf(const char *x, __builtin_va_list y)
7 {
8   return vfprintf (0, 0, y);
9 }
10