(deftest ric-push ()
  (let ((testlist '()))
  (check 
    (equal (push 'a testlist) '(a)) 
    (equal (push 'b testlist) '(b a)))))