docs: def _eval(self, memory, addr, n, **kwargs):
          """
          Gets n solutions for an address.
          """
          return memory.state.solver.eval_upto(addr, n, exact=kwargs.pop('exact', self._exact), **kwargs)