#include <stdarg.h>

/** variable length argument list **/

typedef __builtin_va_list                                               va_list;

/***
holds the information necessary for making calls to FUNCTION(va_start),
FUNCTION(va_copy), FUNCTION(va_arg), and FUNCTION(va_end).
***/

/*
STDC(1)
*/