__va_copy         261 gc/cord/cordprnt.c #		    ifdef __va_copy
__va_copy         262 gc/cord/cordprnt.c                       __va_copy(vsprintf_args, args);