@amszmidt It's been more than 40 years since I spent my time disassembling Lucid Common Lisp's compiler output (to find out the clever efficiency hacks they used, in service of Gould Common Lisp), so I can't be sure, but I'm sure that it compiled a large set of primitives into inline machine code, with no level of indirection through a lookup table.
So you couldn't affect the interpreter by redefining `car`.
That's what I was (clumsily) alluding to.