((/make-event/assert-check.lisp::assert!!-body (nil nil (`) nil nil nil nil) (nil nil nil (let) nil nil nil) (((assertion (, assertion))) nil nil (er-progn) nil nil nil) (nil nil (value) nil (if) nil nil) ((assertion) nil (value quote) nil nil (er) nil) ((nil soft Assertion failed:~%~x0) nil (quote quote ,) nil nil nil nil) ((assertion) nil nil (assert!! or) nil nil nil)) (/make-event/assert-check.lisp::assert-test2 (nil nil nil (cons) nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) nil)