internal static int NewCapacity(int capacity) => (capacity < 128) ? 128 : (capacity + capacity);
private void GrowRecords() { int[] newRecords = new int[RecordManager.NewCapacity(recordCount)]; System.Array.Copy(records, 0, newRecords, 0, recordCount); records = newRecords; }