docs: def add_label(self, name, addr):
          """
          Add a new label to the symbol manager.
  
          :param str name: Name of the label.
          :param int addr: Address of the label.
          :return: None
          """
  
          # set the label
          self._symbolization_needed = True
  
          self.symbol_manager.new_label(addr, name=name, force=True)