((/symbolic/m5/demo.lisp::Demo-ms (nil nil nil nil (make-state) nil nil) ((nil *Demo-class-table-in-tagged-form*) nil (make-tt) nil nil nil nil) (nil nil nil (push) nil nil nil) ((nil) nil nil nil nil nil nil) ((nil nil *Demo-main* Demo) (0) (quote) nil nil nil nil) ((UNLOCKED) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/symbolic/m5/demo.lisp::Demo (nil nil (m5_load) nil nil nil nil) ((Demo-ms) 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)) (/symbolic/m5/demo.lisp::factorial (nil nil nil nil (if) nil nil) (nil (1) (zp) (*) nil nil nil) ((n n) nil (recursive-call) nil nil nil nil) (nil nil nil (-) nil nil nil) ((n) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/symbolic/m5/demo.lisp::fact-sched (nil nil nil nil (if) nil nil) (nil nil (zp) (repeat) (append) nil nil) ((n th) (5) nil (repeat recursive-call repeat) nil nil nil) ((th th th) (7 2) nil (-) nil nil nil) ((n) (1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/symbolic/m5/demo.lisp::main-sched (nil nil nil nil (append) nil nil) (nil nil nil (repeat fact-sched repeat) nil nil nil) ((th th th) (5 5 2) 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)) (/symbolic/m5/demo.lisp::poised-to-invoke-fact (nil nil nil nil nil nil (and)) (nil nil (intp) (equal equal equal equal) nil nil nil) ((n n *fact-def*) nil (quote quote top) (status next-inst) (lookup-method) nil nil) ((th s SCHEDULED th s fact Demo) nil (stack class-table) nil (invokestatic) nil nil) ((Demo fact s) (1) nil (top-frame) nil nil nil) ((th s) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/symbolic/m5/demo.lisp::induction-hint (nil nil nil nil (if) nil nil) ((s) nil (zp) nil (recursive-call) nil nil) ((n th) nil nil (-) (make-state) nil nil) ((n) (1) (heap class-table) nil (bind) nil nil) ((th s s) nil (thread-table) nil (make-thread) nil nil) ((s) nil (quote) (push rref) nil nil nil) ((scheduled th s) nil nil (push) nil nil nil)) (/symbolic/m5/demo.lisp::alpha (nil nil nil nil (make-state) nil nil) ((*demo-heap* *demo-class-table*) nil (make-tt) nil nil nil nil) (nil nil nil (push) nil nil nil) ((nil) nil nil nil nil nil nil) ((pc locals stk Test) nil (quote quote) nil nil nil nil) ((UNLOCKED) nil nil nil nil nil nil) ((iload_3 iconst_1 iadd imul istore_3) nil nil nil (invokestatic) nil nil)))