1 typedef long unsigned int size_t;
2 extern void abort (void);
3 extern char *strcpy (char *, const char *);
4 extern int strcmp (const char *, const char *);
5 typedef __builtin_va_list
va_list;
6 static const char null
[] = "(null)";
7 int g (char *s
, const char *format
, va_list ap
)
12 static const void *step0_jumps
[] = {
23 goto *(step0_jumps
[2]);
25 /* begin switch table. */
28 __builtin_va_arg (ap
, int);
30 goto *(step0_jumps
[2]);
33 __builtin_va_arg (ap
, unsigned long int);
37 string
= __builtin_va_arg (ap
, const char *);
40 /* End of switch table. */
51 f (char *s
, const char *f
, ...)
54 __builtin_va_start (ap
, f
);
56 __builtin_va_end (ap
);
63 f (buf
, "%s", "asdf", 0);
64 if (strcmp (buf
, "asdf"))