private void grow() { var n = new int[(entries.Length + 16) * 3 / 2]; Array.Copy(entries, 0, n, 0, count); entries = n; }