Removed 'car' and 'cdr' from C header