((/misc/assert.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) ((assert!) nil (,) (or) nil nil nil)) (/misc/assert.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)) (/misc/assert.lisp::assert!-stobj-body (nil nil (`) nil nil nil nil) (nil nil nil nil (mv-let) nil nil) (nil nil (result ,) nil (if) nil nil) ((assertion result) nil (,) nil nil (mv mv-let) nil) ((st nil state) nil (quote , declare) (erp) nil (er mv) nil) ((st val state soft Assertion failed:~%~x0 t nil state) nil (, quote quote ,) (ignore) nil nil nil) ((assert! erp val st) nil (,) (or) nil nil nil)))