@marick might have been an implementation glitch, all CL implementation i know of you can redefine CAR even if it is implemented “not via DEfUN”