tool A variant of the Unix grep command which searches

for fixed (uninterpreted) strings rather than regularexpressions. Surprisingly, this is not always faster.