to announce the demise of varargs support in GCC versions 3.3+ and to direct users to stdarg.h instead. Fall back to machine/varargs.h for older GCC versions.