> Other than the name, I think the code is about the same, except for the
> return value being t rather than (simp ....) when using the memq macro.
Really? Does your memq macro unroll the 0- and 1-length cases and put
the other cases out of line?
-s