docs: def _max(self, memory, addr, **kwargs):
          """
          Gets the maximum solution of an address.
          """
          return memory.state.solver.max(addr, exact=kwargs.pop('exact', self._exact), **kwargs)