NDEXTENT
if (oldnfiles < NDEXTENT)
numfiles = NDEXTENT;
while (i >= 2 * NDEXTENT && i > lastfile * 2) {