All symbols starting with `v' in EXTERNAL_HEADERS

• va_arg EXTERNAL_HEADERS/stdarg.h:104
• va_end EXTERNAL_HEADERS/stdarg.h:97
• va_list EXTERNAL_HEADERS/stdarg.h:156
• _VA_LIST_DEFINED EXTERNAL_HEADERS/stdarg.h:182
• _VA_LIST_T_H EXTERNAL_HEADERS/stdarg.h:185
• __va_rounded_size EXTERNAL_HEADERS/stdarg.h:85
• va_start EXTERNAL_HEADERS/stdarg.h:92