private void DiscardPage(IProcedure4 finalizer) { if (_a1.Size() >= _a1_threshold) { DiscardPageFrom(_a1, finalizer); } else { DiscardPageFrom(_am, finalizer); } }