public virtual void PrintLocalName(ILocalDefinition local) { this.sourceEmitterOutput.Write(local.Name.Value); }