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;
}