docs: def _translate_addr(self, a): #pylint:disable=no-self-use
          """
          Resolves this address.
          """
          if isinstance(a, claripy.ast.Base) and not a.singlevalued:
              raise SimFastMemoryError("address not supported")
          return self.state.solver.eval(a)