use cl-assert