code: def concretize_write_addr(self, addr, strategies=None):
          
  
          if isinstance(addr, int):
              return [ addr ]
          elif not self.state.solver.symbolic(addr):
              return [ self.state.solver.eval(addr) ]
  
          strategies = self.write_strategies if strategies is None else strategies
          return self._apply_concretization_strategies(addr, strategies, 'store')
docs: Concretizes an address meant for writing.
  
              :param addr:            An expression for the address.
              :param strategies:      A list of concretization strategies (to override the default).
              :returns:               A list of concrete addresses.