The directory in question had 210,000 filenames in it. I was looking for about 500 names in that set. I realize that I could grep through a full set at once, but at the expense of about two~four megabytes of transient data being collected into memory. You're right, though; for benchmarking, I should consider adding that case.