Added paragraph explaining extra stddef.h and stdarg.h files,