rewind            578 gc/cord/cordxtra.c 	rewind(f);
rewind            599 gc/cord/cordxtra.c     rewind(f);
rewind            615 gc/cord/cordxtra.c     rewind(f);