; RAC RETURNS THE LAST TOP ELEMENT OF 'LIS'

(DEFINE RAC
,  (LAMBDA (LIS)
,  ,  (COND
,  ,  ,  ((NULL (CDR LIS))      (CAR LIS))
,  ,  ,  ( T  (RAC (CDR LIS)))
,  ,  ,,,)
,  ,,,)
,,,)