((/misc/congruent-stobjs-test.lisp::foo1 (nil nil nil (reg1i) nil nil nil) ((st1) (3) 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/congruent-stobjs-test.lisp::bar1 (nil nil (foo1) nil nil nil nil) ((st1) 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/congruent-stobjs-test.lisp::bar2-tough (nil nil (foo1) nil nil nil nil) ((st2) 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/congruent-stobjs-test.lisp::bar2 (nil nil nil nil (if) nil nil) (nil (0) (halt2 foo1) nil nil nil nil) ((st2 st2) 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/congruent-stobjs-test.lisp::update1 (nil nil nil (update-halt1) nil nil nil) ((x st1) 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/congruent-stobjs-test.lisp::update2 (nil nil nil (update1) nil nil nil) ((x st2) 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/congruent-stobjs-test.lisp::swap-st1-st2 (nil nil nil (mv) nil nil nil) ((st2 st1) 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/congruent-stobjs-test.lisp::test1 (nil nil nil (with-local-stobj) nil nil nil) ((st1) nil nil nil (mv-let) nil nil) ((result) nil (result) (with-local-stobj) nil nil nil) ((st1 st2) nil nil nil (mv-let) nil nil) (nil nil nil (let* mv) (st2) nil nil) ((st1 val0 val st1) nil nil ((st1 (update2 4 st1)) and) (mv-let) nil nil) (nil nil (st2 val0 st2) (swap-st1-st2 equal equal) nil (mv) nil)) (/misc/congruent-stobjs-test.lisp::test2 (nil nil nil (with-local-stobj) nil nil nil) ((st1) nil nil nil (mv-let) nil nil) ((result) nil (result) (with-local-stobj) nil nil nil) ((st1 st2) nil nil nil (mv-let) nil nil) (nil nil nil (let* mv) (st2) nil nil) ((st1 val0 val st1) nil nil ((st1 (update2 4 st1)) and) (mv-let) nil nil) (nil nil (st2 val0 st1) (swap-st1-st2 equal equal) nil (mv) nil)) (/misc/congruent-stobjs-test.lisp::update3 (nil nil nil (update1) nil nil nil) ((x st2) 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/congruent-stobjs-test.lisp::update4 (nil nil (declare) nil nil nil nil) (nil nil (ignore) nil nil nil nil) ((st1) 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/congruent-stobjs-test.lisp::g (nil nil (fld) nil nil nil nil) ((st) 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/congruent-stobjs-test.lisp::test (nil nil nil (with-local-stobj) nil nil nil) ((st) nil nil nil (mv-let) nil nil) ((result) nil (result) (mv) nil nil nil) ((st st) nil nil (g) nil nil nil) ((st) (3) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/misc/congruent-stobjs-test.lisp::h (nil nil (fld) nil nil nil nil) ((st) 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)))