(defun my-reverse (lst) (reverse lst)) ;; C-c C-k (assert (equal (my-reverse '(a b c d)) '(d c b a)))