 (CDR X) Y)                'NIL)))`,   `(DEFUN SYMBOL-ALISTP (X)        (IF (ATOM X)            (EQ X 'NIL)            (IF (CONSP (CAR X))                (IF (SYMBOLP (CAR (CAR X)))                    (SYMBOL-ALISTP (CDR X))                    'NIL)                'NIL)))`,   `(DEFUN ASSOC-EQ (X ALIST)        (IF (ENDP ALIST)            'NIL            (IF (EQ X (CAR (CAR ALIST)))                (CAR ALIST)                (ASSOC-EQ