Cyc_caaaar Cyc_caaadr Cyc_caaar Cyc_caadar Cyc_caaddr Cyc_caadr Cyc_caar Cyc_cadaar Cyc_cadadr Cyc_cadar Cyc_caddar Cyc_cadddr Cyc_caddr Cyc_cadr Cyc_cdaaar Cyc_cdaadr Cyc_cdaar Cyc_cdadar Cyc_cdaddr Cyc_cdadr Cyc_cdar Cyc_cddaar Cyc_cddadr Cyc_cddar Cyc_cdddar Cyc_cddddr Cyc_cdddr Cyc_cddr

Cyc_cadddr #define Cyc_cadddr (   d,   x  )    (Cyc_car(d, Cyc_cdr(d, Cyc_cdr(d, Cyc_cdr(d, x)))))