) (reg env))   (assign val (op lookup-variable-value) (const product) (reg env))   (assign argl (op list) (reg val))   (assign val (op lookup-variable-value) (const counter) (reg env))   (assign argl (op cons) (reg val) (reg argl))   (test (op primitive-procedure?) (reg proc))   (branch (label primitive-branch00)) compiled-branch00   (assign continue (label after-call00))   (assign val (op compiled-procedure-entry) (reg proc))   (goto (reg val)) primitive-branch00   (assign val (op apply-primitive-procedure) (reg proc) (reg argl))  ; 