#include <stdarg.h>
void va_end(va_list argptr);