#include <stdio.h>
REFERENCE(stdarg/va_list.c)
STDC(1)