private void AddDeleteDocID(int docID) { lock (this) { deletesInRAM.docIDs.Add(flushedDocCount + docID); deletesInRAM.AddBytesUsed(BYTES_PER_DEL_DOCID); } }