Commenting /include/stdarg.h