I'm sure there's a simple answer to this question. I'm browsing the sbcl source to find the lowest level implementation of CAR and I found this (defun car (list) (car list)) So the 'real' definition of CAR must be elsewhere. :) Perhaps in the C source code? Would someone point me to the correct location? Thanks.