#include <stdarg.h>
va_list* foo;
int main(void) { return 0; }