Update va_list.h