(deftest ric-cons()
  (check
   (equal '(a b c) (cons 'a '(b c)))))