#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#ifndef __GNUC__
#define __attribute__(x)
#endif
static void __attribute__ ((__format__ (__printf__, 1, 2)))
doit (const char *s, ...)
{
va_list *ap_array[3], **ap_ptr = ap_array;
ap_array[0] = malloc (sizeof(va_list));
ap_array[1] = NULL;
ap_array[2] = malloc (sizeof(va_list));
va_start (*ap_array[0], s);
vprintf (s, **ap_ptr);
va_end (**ap_ptr++);
ap_ptr++;
va_start (*ap_array[2], s);
vprintf (s, **ap_ptr);
va_end (**ap_ptr);
if (*ap_ptr == 0)
abort();
}
int main()
{
doit ("%s", "hello world\n");
exit (0);
}