fact1

((env)
  (val)
  ((assign env (op get-global-env))
   (assign
     val
     (op make-compiled-procedure)
     (label entry2)
     (reg env))
   (goto (label after-lambda1)) entry2
   (assign env (op compiled-procedure-env) (reg proc))
   (assign env (op extend-environment) (const (n)) (reg argl)
     (reg env))
   (save continue) (save env)
   (assign proc (op lookup-variable-value) (const =) (reg env))
   (assign val (const 1)) (assign argl (op list) (reg val))
   (assign val (op lookup-variable-value) (const n) (reg env))
   (assign argl (op cons) (reg val) (reg argl))
   (test (op primitive-procedure?) (reg proc))
   (branch (label primitive-branch17)) compiled-branch16
   (assign continue (label after-call15))
   (assign val (op compiled-procedure-entry) (reg proc))
   (goto (reg val)) primitive-branch17
   (assign
     val
     (op apply-primitive-procedure)
     (reg proc)
     (reg argl))
   after-call15 (restore env) (restore continue)
   (test (op false?) (reg val)) (branch (label false-branch4))
   true-branch5 (assign val (const 1)) (goto (reg continue))
   false-branch4
   (assign proc (op lookup-variable-value) (const *) (reg env))
   (save continue) (save proc)
   (assign val (op lookup-variable-value) (const n) (reg env))
   (assign argl (op list) (reg val)) (save argl)
   (assign
     proc
     (op lookup-variable-value)
     (const factorial)
     (reg env))
   (save proc)
   (assign proc (op lookup-variable-value) (const -) (reg env))
   (assign val (const 1)) (assign argl (op list) (reg val))
   (assign val (op lookup-variable-value) (const n) (reg env))
   (assign argl (op cons) (reg val) (reg argl))
   (test (op primitive-procedure?) (reg proc))
   (branch (label primitive-branch8)) compiled-branch7
   (assign continue (label after-call6))
   (assign val (op compiled-procedure-entry) (reg proc))
   (goto (reg val)) primitive-branch8
   (assign
     val
     (op apply-primitive-procedure)
     (reg proc)
     (reg argl))
   after-call6 (assign argl (op list) (reg val)) (restore proc)
   (test (op primitive-procedure?) (reg proc))
   (branch (label primitive-branch11)) compiled-branch10
   (assign continue (label after-call9))
   (assign val (op compiled-procedure-entry) (reg proc))
   (goto (reg val)) primitive-branch11
   (assign
     val
     (op apply-primitive-procedure)
     (reg proc)
     (reg argl))
   after-call9 (restore argl)
   (assign argl (op cons) (reg val) (reg argl)) (restore proc)
   (restore continue)
   (test (op primitive-procedure?) (reg proc))
   (branch (label primitive-branch14)) compiled-branch13
   (assign val (op compiled-procedure-entry) (reg proc))
   (goto (reg val)) primitive-branch14
   (assign
     val
     (op apply-primitive-procedure)
     (reg proc)
     (reg argl))
   (goto (reg continue)) after-call12 after-if3 after-lambda1
   (perform
     (op define-variable!)
     (const factorial)
     (reg val)
     (reg env))
   (assign val (const ok))))