TRACE OF UPDATE STORE FUNCTION
                                   ------------------------------


          Script started, file is typescript

          irondale% kcl
          AKCL (Austin Kyoto Common Lisp)  Version(1.615) Fri Jan  8 13:26:25 CST 1993
          Contains Enhancements by W. Schelter
          Loading init.lsp
          Finished loading init.lsp

          >(load "coreds")
          Loading coreds.lsp
          Finished loading coreds.lsp
          T

          >(trace update)
          (UPDATE)

          >(Msem '(: (: (input x) (:= x (+ x 1))) (output x)) '(4 1 7))
            1> (UPDATE (LAMBDA (V) (COND (T 'BOTTOM))) X 4)
            <1 (UPDATE (LAMBDA (V) (COND ((EQ V 'X) 4) (T 'BOTTOM))))
            1> (UPDATE (LAMBDA (V) (COND ((EQ V 'X) 4) (T 'BOTTOM))) X 5)
            <1 (UPDATE (LAMBDA (V)
                         (COND ((EQ V 'X) 5) ((EQ V 'X) 4) (T 'BOTTOM))))
          (5)

          >Bye.

          irondale% ^D
          script done on Mon Oct 3 21:14:50 1994