VARIABLE           75 gc/cord/cordprnt.c 	    current_number = VARIABLE;
VARIABLE          210 gc/cord/cordprnt.c             	    	if (width == VARIABLE) width = va_arg(args, int);
VARIABLE          211 gc/cord/cordprnt.c             	    	if (prec == VARIABLE) prec = va_arg(args, int);
VARIABLE          270 gc/cord/cordprnt.c             	    if (width == VARIABLE) width = va_arg(args, int);
VARIABLE          271 gc/cord/cordprnt.c             	    if (prec == VARIABLE) prec = va_arg(args, int);