public int[] grow() {final int[] ord = super.grow();boost = ArrayUtil.grow(boost, ord.length);if (termState.length < ord.length) {TermStates[] tmpTermState = new TermStates[ArrayUtil.oversize(ord.length, RamUsageEstimator.NUM_BYTES_OBJECT_REF)];System.arraycopy(termState, 0, tmpTermState, 0, termState.length);termState = tmpTermState;}assert termState.length >= ord.length && boost.length >= ord.length;return ord;}

public override int[] Grow(){int[] ord = base.Grow();boost = ArrayUtil.Grow(boost, ord.Length);if (termState.Length < ord.Length){TermContext[] tmpTermState = new TermContext[ArrayUtil.Oversize(ord.Length, RamUsageEstimator.NUM_BYTES_OBJECT_REF)];Array.Copy(termState, 0, tmpTermState, 0, termState.Length);termState = tmpTermState;}Debug.Assert(termState.Length >= ord.Length && boost.Length >= ord.Length);return ord;}
