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