(defun repa1a2 (l a1 a2)
   (cond 
      ((equal a1 a2) a2)
      ((atom l) nil)
      (t (cons
            (repa1a2 (car l) a1 a2)
            (repa1a2 (cdr l) a1 a2)
         )
      )
   )
)

(defun revs (orig revd)
   (cond 
      ((null orig) revd)
      ((atom orig) orig)
      (t (revs (cdr orig) (cons (revs (car orig) nil) revd)))
   )
)

(defun dorevs (orig) (revs orig nil))