Pass along SEARCH.
Use eproof rather than eproof_ram.
UNWIND-PROTECT the CLOSE-STREAMs.
eproof rather than eproof_ram.
Trash the temp file.
Just run one at a time.

We can perhaps try cl-parallel for this.
Quote.
Make disequations.
Reduce DBs.