private void GrowRecords() { int[] newRecords = new int[RecordManager.NewCapacity(recordCount)]; System.Array.Copy(records, 0, newRecords, 0, recordCount); records = newRecords; }