(DEFINE APPEND , (LAMBDA (X Y) , , (COND , , , ((NULL X) Y) , , , ( T (CONS (CAR X) (APPEND (CDR X) Y))) , , ,,,) , ,,,) ,,,)