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