docs: def mem_concrete(self, *args, **kwargs):
          """
          Returns the contents of a memory but, if the contents are symbolic,
          raises a SimValueError.
          """
          e = self.memory.load(*args, **kwargs)
          if self.solver.symbolic(e):
              raise SimValueError("target of mem_concrete is symbolic!")
          return self.solver.eval(e)