/// <summary>
 /// Initializes a new instance of the <see cref="Antmicro.Renode.Core.Symbol"/> class.
 /// </summary>
 /// <param name="originalSymbol">Original symbol.</param>
 /// <param name="mayBeThumb">Set to <c>true</c> if symbol is related to architecture that allows thumb symbols.</param>
 public Symbol(ISymbolEntry originalSymbol, bool mayBeThumb = false)
 {
     Start             = originalSymbol.GetValue();
     IsThumbSymbol     = false;
     thumbArchitecture = mayBeThumb;
     if (mayBeThumb)
     {
         UpdateIsThumbSymbol();
     }
     End     = Start + originalSymbol.GetSize();
     Name    = DemangleSymbol(originalSymbol.Name);
     Type    = originalSymbol.Type;
     Binding = originalSymbol.Binding;
 }