private void EnsureXrefSize(int size) { if (size == 0) return; if (xref == null) xref = new int[size]; else { if (xref.Length < size) { int[] xref2 = new int[size]; Array.Copy(xref, 0, xref2, 0, xref.Length); xref = xref2; } } }