public void ReleasePage(int pageNum) {
if (refsp == null)
return;
--pageNum;
if (pageNum < 0 || pageNum >= Size)
return;
if (pageNum != lastPageRead)
return;
lastPageRead = -1;
reader.lastXrefPartial = refsp[pageNum];
reader.ReleaseLastXrefPartial();
refsp.Remove(pageNum);
}