protected internal virtual void growMappingArray() { Mapping[] newMap = new Mapping[map.Length + growArraySize]; Array.Copy(map, 0, newMap, 0, map.Length); map = newMap; }