protected virtual void Symbols_scopeAfter( Symbols_scope scope ) {}
protected virtual void Symbols_scopeInit( Symbols_scope scope ) {}
protected virtual void Symbols_scopeAfter( Symbols_scope scope ) {}
protected virtual void Symbols_scopeInit( Symbols_scope scope ) {}