public override string ToString() { StringBuilder sb = new StringBuilder(); sb.Append( _Name ?? "[ERROR: _Name is null]" ); sb.AppendFormat( " ({0:d} instructions)", _Instructions.Count ); return sb.ToString(); }