[Bug 39694] stdarg.h and va_list problem