iso8601wknum     534 missing/strftime.c 			sprintf(tbuf, "%02d", iso8601wknum(timeptr));
iso8601wknum     556 missing/strftime.c 			w = iso8601wknum(timeptr);
iso8601wknum     693 missing/strftime.c 			weeknum = iso8601wknum(& dec31ly);