(deftest ric-reverse()
  (check 
    (equal (reverse '(a b c)) '(c b a))
    (not (reverse '()))
    (equal (reverse '((a b) c d)) '(d c (a b)))))