docs: def _apply_concretization_strategies(self, idx, strategies, action): # pylint: disable=unused-argument
          """
          Applies concretization strategies on the index, until one of them succeeds.
          """
  
          for s in strategies:
              try:
                  idxes = s.concretize(self, idx)
              except SimUnsatError:
                  idxes = None
  
              if idxes:
                  return idxes
  
          raise SimMemoryAddressError("Unable to concretize index %s" % idx)