protected void PushFollow( BitSet fset ) { if ( ( state._fsp + 1 ) >= state.following.Length ) { Array.Resize(ref state.following, state.following.Length * 2); } state.following[++state._fsp] = fset; }