code: private void rflush() {
          SearchEntry entry = top;
          top = null;
          MemReg[] memregs = this.memregs;
          int[] counters = this.counters;
          while (entry != null) {
              SearchEntry next = entry.sub;
              SearchEntry.popState(entry, memregs, counters);
              entry = next;
          }
          SearchEntry.popState(defaultEntry, memregs, counters);
      }
docs: need testing