> Tempting to skip all symbols with more than one digit (or maybe just more > than one consecutive digit?), as guessing among per-chip symbols from, say, > the ar* or dc* families is an exercise in futility.
Maybe. However, I couldn't come up with a criterion I was happy with. Filtering three consecutive digits throws away 1/4 of the public symbols in libcrypto. I wouldn't want to miss out on guessing the X509 things! The occasional gost2814789 doesn't spoil the fun. So I left it at filtering the double underbars
