(deftest ric-zerop ()
  (check
    (zerop 0)
    (not (zerop 1))))