---------- Expression ---------- #[liar:expression 14] (rvalue-%passed-out? #f) (expression-block #[liar:block 15 ic]) (expression-continuation #[liar:variable 16 |#[continuation]|]) (expression-entry-edge #(#f #f #[liar:return 17 #[liar:procedure 18 test-9]])) (expression-label expression-10) (expression-debugging-info #[dbg-expression 19]) #[liar:return 17 #[liar:procedure 18 test-9]] (node-generation 12) (node-alist (("rtlgen-memoization-tag" . #(snode-cfg #[liar:sblock 22] ((#[liar:sblock 22] . #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784])))) ("subgraph-color-tag" . #[subgraph-color 20]))) (node-previous-edges (#(#f #f #[liar:return 17 #[liar:procedure 18 test-9]]))) (snode-next-edge #f) (application-type return) (application-context #[reference-context 23]) (application-operator #[liar:reference 24 |#[continuation]|]) (application-operands (#[liar:procedure 18 test-9])) ((application-parallel-node application-owner) #f) ((application-operators application-args-passed-out?) #t) (application-operand-values ()) (application-continuation-push #f) (application-model ()) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Procedure ---------- #[liar:procedure 18 test-9] (rvalue-%passed-out? 1) (procedure-type 2) (procedure-block #[liar:block 25 stack test-9]) (procedure-name test) (procedure-required (#[liar:variable 27 |#[continuation]|] #[liar:variable 26 x])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:virtual-return 28])) (procedure-original-required (#[liar:variable 27 |#[continuation]|] #[liar:variable 26 x])) (procedure-original-optional ()) (procedure-original-rest #f) (procedure-label test-9) (procedure-applications ()) (procedure-always-known-operator? #f) (procedure-closure-cons (normal)) (procedure-closure-context #[reference-context 23]) (procedure-closure-offset #f) (procedure-register #f) (procedure-closure-size 0) (procedure-target-block #[liar:block 15 ic]) (procedure-initial-callees (() #[liar:procedure 29 y-8] #[liar:procedure 12 lambda-3])) ((procedure-free-callees procedure-callees) (#[liar:procedure 31 lambda-7] #[liar:procedure 30 lambda-4] #[liar:procedure 12 lambda-3] #[liar:procedure 29 y-8])) ((procedure-free-callers procedure-callers) ()) (procedure-virtual-closure? #f) (procedure-closure-reasons ((passed-out))) ((procedure-variables procedure-side-effects) ()) (procedure-alist ((unconditional . #t))) (procedure-debugging-info #[dbg-procedure 32]) #[liar:virtual-return 28] (node-generation 12) (node-alist (("rtlgen-memoization-tag" . "rtlgen-loop-memoization-marker") ("subgraph-color-tag" . #[subgraph-color 33]))) (node-previous-edges (#(#f #f #[liar:virtual-return 28]))) (snode-next-edge #(#[liar:virtual-return 28] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 34])) (virtual-return-context #[reference-context 35]) (virtual-return-operator #[liar:virtual-continuation 36 push]) (virtual-return-operand #[liar:continuation-5 37 effect]) #[liar:combination 34] (node-generation 12) (node-alist (("rtlgen-memoization-tag" . "rtlgen-loop-memoization-marker") ("subgraph-color-tag" . #[subgraph-color 33]))) (node-previous-edges (#(#[liar:virtual-return 28] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 34]))) (snode-next-edge #f) (application-type combination) (application-context #[reference-context 38]) (application-operator #[liar:reference 39 y]) (application-operands (#[liar:continuation-5 37 effect] #[liar:procedure 30 lambda-4])) ((application-parallel-node application-owner) #[liar:parallel 40]) ((application-operators application-args-passed-out?) #f) (application-operand-values 0) (application-continuation-push #[liar:virtual-return 28]) (application-model #[liar:procedure 29 y-8]) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Continuation ---------- #[liar:continuation-5 37 effect] (rvalue-%passed-out? #f) (procedure-type 0) (procedure-block #[liar:block 41 continuation continuation-5]) (procedure-name continuation) (procedure-required (#[liar:variable 42 |#[value]|])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:fg-noop 43])) (procedure-original-required (#[liar:variable 42 |#[value]|])) (procedure-original-optional ()) (procedure-original-rest (#[liar:combination 34])) (procedure-label continuation-5) (procedure-applications (#[liar:return 45 #[liar:procedure 12 lambda-3]] #[liar:return 44 #[liar:procedure 12 lambda-3]])) (procedure-always-known-operator? sometimes) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset 0) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #f) (procedure-initial-callees (())) ((procedure-free-callees procedure-callees) ()) ((procedure-free-callers procedure-callers) ()) (procedure-virtual-closure? #f) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) (#[liar:variable 47 |#[continuation]|] #[liar:variable 46 |#[continuation]|])) (procedure-alist ()) (procedure-debugging-info #[dbg-continuation 48]) #[liar:fg-noop 43] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 49]))) (node-previous-edges (#(#f #f #[liar:fg-noop 43]))) (snode-next-edge #(#[liar:fg-noop 43] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 50])) #[liar:combination 50] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 49]))) (node-previous-edges (#(#[liar:fg-noop 43] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 50]))) (snode-next-edge #f) (application-type combination) (application-context #[reference-context 51]) (application-operator #[liar:reference 52 |#[value]|]) (application-operands (#[liar:reference 54 |#[continuation]|] #[liar:reference 53 x])) ((application-parallel-node application-owner) #[liar:parallel 55]) ((application-operators application-args-passed-out?) #f) (application-operand-values 1) (application-continuation-push #f) (application-model #[liar:procedure 12 lambda-3]) (application-frame-adjustment (known . #[liar:block 25 stack test-9])) (application-reuse-existing-frame? #[liar:block 25 stack test-9]) ---------- Procedure ---------- #[liar:procedure 29 y-8] (rvalue-%passed-out? #f) (procedure-type 2) (procedure-block #[liar:block 56 stack y-8]) (procedure-name y) (procedure-required (#[liar:variable 46 |#[continuation]|])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:return 57 #[liar:procedure 12 lambda-3]])) (procedure-original-required (#[liar:variable 46 |#[continuation]|] #[liar:variable 58 f])) (procedure-original-optional ()) (procedure-original-rest #f) (procedure-label y-8) (procedure-applications (#[liar:combination 34])) (procedure-always-known-operator? #t) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset #f) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #[liar:block 25 stack test-9]) (procedure-initial-callees (() #[liar:procedure 30 lambda-4])) ((procedure-free-callees procedure-callees) (#[liar:procedure 30 lambda-4])) ((procedure-free-callers procedure-callers) (#[liar:procedure 12 lambda-3] #[liar:procedure 31 lambda-7] #[liar:procedure 18 test-9])) (procedure-virtual-closure? #f) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) ()) (procedure-alist ((trivial beta) (simplified . #[liar:procedure 12 lambda-3]) (unconditional . #t))) (procedure-debugging-info #[dbg-procedure 59]) #[liar:return 57 #[liar:procedure 12 lambda-3]] (node-generation 12) (node-alist (("rtlgen-memoization-tag" . "rtlgen-loop-memoization-marker") ("subgraph-color-tag" . #[subgraph-color 33]))) (node-previous-edges (#(#f #f #[liar:return 57 #[liar:procedure 12 lambda-3]]))) (snode-next-edge #f) (application-type return) (application-context #[reference-context 60]) (application-operator #[liar:reference 61 |#[continuation]|]) (application-operands (#[liar:procedure 12 lambda-3])) ((application-parallel-node application-owner) #f) ((application-operators application-args-passed-out?) ()) (application-operand-values ()) (application-continuation-push #f) (application-model ()) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Procedure ---------- #[liar:procedure 30 lambda-4] (rvalue-%passed-out? #f) (procedure-type 2) (procedure-block #[liar:block 62 stack lambda-4]) (procedure-name |#[unnamed-procedure]|) (procedure-required (#[liar:variable 47 |#[continuation]|] #[liar:variable 63 factorial])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:return 64 #[liar:procedure 12 lambda-3]])) (procedure-original-required (#[liar:variable 47 |#[continuation]|] #[liar:variable 63 factorial])) (procedure-original-optional ()) (procedure-original-rest #f) (procedure-label lambda-4) (procedure-applications ()) (procedure-always-known-operator? #f) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset #f) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #[liar:block 25 stack test-9]) (procedure-initial-callees (())) ((procedure-free-callees procedure-callees) ()) ((procedure-free-callers procedure-callers) (#[liar:procedure 12 lambda-3] #[liar:procedure 31 lambda-7] #[liar:procedure 18 test-9] #[liar:procedure 29 y-8])) (procedure-virtual-closure? #t) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) ()) (procedure-alist ((trivial beta) (simplified . #[liar:procedure 12 lambda-3]) (unconditional . #t))) (procedure-debugging-info #[dbg-procedure 65]) #[liar:return 64 #[liar:procedure 12 lambda-3]] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 66]))) (node-previous-edges (#(#f #f #[liar:return 64 #[liar:procedure 12 lambda-3]]))) (snode-next-edge #f) (application-type return) (application-context #[reference-context 67]) (application-operator #[liar:reference 68 |#[continuation]|]) (application-operands (#[liar:procedure 12 lambda-3])) ((application-parallel-node application-owner) #f) ((application-operators application-args-passed-out?) ()) (application-operand-values ()) (application-continuation-push #f) (application-model ()) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Procedure ---------- #[liar:procedure 12 lambda-3] (rvalue-%passed-out? #f) (procedure-type 2) (procedure-block #[liar:block 69 stack lambda-3]) (procedure-name |#[unnamed-procedure]|) (procedure-required (#[liar:variable 71 |#[continuation]|] #[liar:variable 70 n])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:virtual-return 72])) (procedure-original-required (#[liar:variable 71 |#[continuation]|] #[liar:variable 70 n])) (procedure-original-optional ()) (procedure-original-rest #f) (procedure-label lambda-3) (procedure-applications (#[liar:combination 50] #[liar:combination 73])) (procedure-always-known-operator? #t) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset #f) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #[liar:block 62 stack lambda-4]) (procedure-initial-callees ((#[liar:constant 76 #[primitive-procedure &<]] #[liar:constant 75 #[primitive-procedure -1+]] #[liar:constant 74 #[primitive-procedure &*]]) #[liar:procedure 31 lambda-7])) ((procedure-free-callees procedure-callees) (#[liar:procedure 29 y-8] #[liar:procedure 30 lambda-4] #[liar:procedure 12 lambda-3] #[liar:procedure 31 lambda-7])) ((procedure-free-callers procedure-callers) (#[liar:procedure 12 lambda-3] #[liar:procedure 31 lambda-7] #[liar:procedure 18 test-9])) (procedure-virtual-closure? #f) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) ()) (procedure-alist ((unconditional . #t))) (procedure-debugging-info #[dbg-procedure 77]) #[liar:virtual-return 72] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#f #f #[liar:virtual-return 72]))) (snode-next-edge #(#[liar:virtual-return 72] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 79])) (virtual-return-context #[reference-context 80]) (virtual-return-operator #[liar:virtual-continuation 81 effect]) (virtual-return-operand #[liar:continuation-0 82 predicate]) #[liar:combination 79] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:virtual-return 72] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 79]))) (snode-next-edge #f) (application-type combination) (application-context #[reference-context 83]) (application-operator #[liar:constant 76 #[primitive-procedure &<]]) (application-operands (#[liar:continuation-0 82 predicate] #[liar:reference 85 n] #[liar:constant 84 2])) ((application-parallel-node application-owner) #[liar:parallel 86]) ((application-operators application-args-passed-out?) #(#(#[compiled-closure 93 ("opncod" #x16) #x69 #x24ce88d #x2639290] #[compiled-procedure 92 ("opncod" #xc) #xc #x24ce144] #[compiled-procedure 91 ("opncod" #x14) #xf #x24ce7bb] #[compiled-procedure 90 ("opncod" #x15) #xf #x24ce7f7]) #[compiled-closure 89 ("opncod" #x5c) #xba #x24d405e #x2639978] (#[subproblem 88] #[subproblem 87]) #t)) (application-operand-values (#[liar:constant 84 2] #[liar:continuation-0 82 predicate])) (application-continuation-push #[liar:virtual-return 72]) (application-model #[liar:constant 76 #[primitive-procedure &<]]) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Continuation ---------- #[liar:continuation-0 82 predicate] (rvalue-%passed-out? #t) (procedure-type 1) (procedure-block #[liar:block 94 continuation continuation-0]) (procedure-name continuation) (procedure-required (#[liar:variable 95 |#[value]|])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:true-test 96])) (procedure-original-required (#[liar:variable 95 |#[value]|])) (procedure-original-optional ()) (procedure-original-rest (#[liar:combination 79])) (procedure-label continuation-0) (procedure-applications ()) (procedure-always-known-operator? sometimes) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset 0) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #f) (procedure-initial-callees (())) ((procedure-free-callees procedure-callees) ()) ((procedure-free-callers procedure-callers) ()) (procedure-virtual-closure? #f) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) ()) (procedure-alist ()) (procedure-debugging-info #[dbg-continuation 97]) #[liar:true-test 96] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#f #f #[liar:true-test 96]) #(#[liar:fg-noop 98] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:true-test 96]))) (pnode-consequent-edge #(#[liar:true-test 96] #[compiled-procedure 101 ("cfg1" #xc) #xc #x25598a8] #[liar:return 99 #[liar:constant 100 1]])) (pnode-alternative-edge #(#[liar:true-test 96] #[compiled-procedure 103 ("cfg1" #xe) #xc #x2559900] #[liar:virtual-return 102])) (true-test-context #[reference-context 104]) (true-test-rvalue #[liar:reference 105 |#[value]|]) #[liar:return 99 #[liar:constant 100 1]] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:true-test 96] #[compiled-procedure 101 ("cfg1" #xc) #xc #x25598a8] #[liar:return 99 #[liar:constant 100 1]]))) (snode-next-edge #f) (application-type return) (application-context #[reference-context 106]) (application-operator #[liar:reference 107 |#[continuation]|]) (application-operands (#[liar:constant 100 1])) ((application-parallel-node application-owner) #f) ((application-operators application-args-passed-out?) #t) (application-operand-values ()) (application-continuation-push #f) (application-model ()) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) #[liar:virtual-return 102] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:true-test 96] #[compiled-procedure 103 ("cfg1" #xe) #xc #x2559900] #[liar:virtual-return 102]))) (snode-next-edge #(#[liar:virtual-return 102] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:virtual-return 108])) (virtual-return-context #[reference-context 109]) (virtual-return-operator #[liar:virtual-continuation 110 push]) (virtual-return-operand #[liar:reference 111 n]) #[liar:virtual-return 108] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:virtual-return 102] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:virtual-return 108]))) (snode-next-edge #(#[liar:virtual-return 108] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:virtual-return 112])) (virtual-return-context #[reference-context 113]) (virtual-return-operator #[liar:virtual-continuation 114 push]) (virtual-return-operand #[liar:continuation-2 115 register]) #[liar:virtual-return 112] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:virtual-return 108] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:virtual-return 112]))) (snode-next-edge #(#[liar:virtual-return 112] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 116])) (virtual-return-context #[reference-context 117]) (virtual-return-operator #[liar:virtual-continuation 118 effect]) (virtual-return-operand #[liar:continuation-1 119 push]) #[liar:combination 116] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:virtual-return 112] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 116]))) (snode-next-edge #f) (application-type combination) (application-context #[reference-context 120]) (application-operator #[liar:constant 75 #[primitive-procedure -1+]]) (application-operands (#[liar:continuation-1 119 push] #[liar:reference 121 n])) ((application-parallel-node application-owner) #[liar:parallel 122]) ((application-operators application-args-passed-out?) #(#(#[compiled-closure 128 ("opncod" #x16) #x69 #x24ce88d #x2634dac] #[compiled-procedure 127 ("opncod" #x10) #xc #x24ce2e8] #[compiled-procedure 126 ("opncod" #x11) #xf #x24ce30f] #[compiled-procedure 125 ("opncod" #x12) #xf #x24ce3c7]) #[compiled-closure 124 ("opncod" #x5e) #xba #x24d476e #x2635d44] (#[subproblem 123]) #t)) (application-operand-values (#[liar:continuation-1 119 push])) (application-continuation-push #[liar:virtual-return 112]) (application-model #[liar:constant 75 #[primitive-procedure -1+]]) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Continuation ---------- #[liar:continuation-2 115 register] (rvalue-%passed-out? #t) (procedure-type 4) (procedure-block #[liar:block 129 continuation continuation-2]) (procedure-name continuation) (procedure-required (#[liar:variable 130 |#[value]|])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:fg-noop 131])) (procedure-original-required (#[liar:variable 130 |#[value]|])) (procedure-original-optional ()) (procedure-original-rest (#[liar:combination 133] #[liar:combination 132] #[liar:combination 73])) (procedure-label continuation-2) (procedure-applications (#[liar:return 99 #[liar:constant 100 1]])) (procedure-always-known-operator? sometimes) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset 1) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #f) (procedure-initial-callees (())) ((procedure-free-callees procedure-callees) ()) ((procedure-free-callers procedure-callers) ()) (procedure-virtual-closure? #f) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) (#[liar:variable 71 |#[continuation]|] #[liar:variable 134 |#[continuation]|])) (procedure-alist ()) (procedure-debugging-info #[dbg-continuation 135]) #[liar:fg-noop 131] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 136]))) (node-previous-edges (#(#f #f #[liar:fg-noop 131]))) (snode-next-edge #(#[liar:fg-noop 131] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:stack-overwrite 137])) #[liar:stack-overwrite 137] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 136]))) (node-previous-edges (#(#[liar:fg-noop 131] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:stack-overwrite 137]))) (snode-next-edge #(#[liar:stack-overwrite 137] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 132])) (stack-overwrite-context #[reference-context 138]) (stack-overwrite-target #[liar:variable 70 n]) (stack-overwrite-continuation #[liar:continuation-2 115 register]) #[liar:combination 132] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 136]))) (node-previous-edges (#(#[liar:stack-overwrite 137] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 132]))) (snode-next-edge #f) (application-type combination) (application-context #[reference-context 139]) (application-operator #[liar:constant 74 #[primitive-procedure &*]]) (application-operands (#[liar:reference 141 |#[continuation]|] #[liar:reference 111 n] #[liar:reference 140 |#[value]|])) ((application-parallel-node application-owner) #[liar:parallel 142]) ((application-operators application-args-passed-out?) #(#(#[compiled-closure 144 ("opncod" #x16) #x69 #x24ce88d #x263df98] #[compiled-procedure 127 ("opncod" #x10) #xc #x24ce2e8] #[compiled-procedure 126 ("opncod" #x11) #xf #x24ce30f] #[compiled-procedure 125 ("opncod" #x12) #xf #x24ce3c7]) #[compiled-closure 143 ("opncod" #x5b) #xba #x24d3aea #x263e400] (0 1) #t)) (application-operand-values 2) (application-continuation-push #f) (application-model #[liar:constant 74 #[primitive-procedure &*]]) (application-frame-adjustment (known . #[liar:block 69 stack lambda-3])) (application-reuse-existing-frame? #[liar:block 69 stack lambda-3]) ---------- Continuation ---------- #[liar:continuation-1 119 push] (rvalue-%passed-out? #t) (procedure-type 3) (procedure-block #[liar:block 145 continuation continuation-1]) (procedure-name continuation) (procedure-required (#[liar:variable 146 |#[value]|])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:fg-noop 147])) (procedure-original-required (#[liar:variable 146 |#[value]|])) (procedure-original-optional ()) (procedure-original-rest (#[liar:combination 116])) (procedure-label continuation-1) (procedure-applications ()) (procedure-always-known-operator? sometimes) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset 2) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #f) (procedure-initial-callees (())) ((procedure-free-callees procedure-callees) ()) ((procedure-free-callers procedure-callers) ()) (procedure-virtual-closure? #f) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) ()) (procedure-alist ()) (procedure-debugging-info #[dbg-continuation 148]) #[liar:fg-noop 147] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#f #f #[liar:fg-noop 147]))) (snode-next-edge #(#[liar:fg-noop 147] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 133])) #[liar:combination 133] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:fg-noop 147] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 133]))) (snode-next-edge #f) (application-type combination) (application-context #[reference-context 149]) (application-operator #[liar:reference 150 factorial]) (application-operands (#[liar:continuation-2 115 register] #[liar:reference 151 |#[value]|])) ((application-parallel-node application-owner) #[liar:parallel 152]) ((application-operators application-args-passed-out?) #f) (application-operand-values 1) (application-continuation-push #[liar:virtual-return 108]) (application-model #[liar:procedure 31 lambda-7]) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Procedure ---------- #[liar:procedure 31 lambda-7] (rvalue-%passed-out? #f) (procedure-type 2) (procedure-block #[liar:block 153 stack lambda-7]) (procedure-name |#[unnamed-procedure]|) (procedure-required (#[liar:variable 134 |#[continuation]|] #[liar:variable 154 x])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:virtual-return 155])) (procedure-original-required (#[liar:variable 134 |#[continuation]|] #[liar:variable 154 x])) (procedure-original-optional ()) (procedure-original-rest #f) (procedure-label lambda-7) (procedure-applications (#[liar:combination 133])) (procedure-always-known-operator? #t) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset #f) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #[liar:block 56 stack y-8]) (procedure-initial-callees (() #[liar:procedure 29 y-8] #[liar:procedure 12 lambda-3])) ((procedure-free-callees procedure-callees) (#[liar:procedure 31 lambda-7] #[liar:procedure 12 lambda-3] #[liar:procedure 30 lambda-4] #[liar:procedure 29 y-8])) ((procedure-free-callers procedure-callers) (#[liar:procedure 18 test-9] #[liar:procedure 31 lambda-7] #[liar:procedure 12 lambda-3])) (procedure-virtual-closure? #t) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) ()) (procedure-alist ((unconditional . #t))) (procedure-debugging-info #[dbg-procedure 156]) #[liar:virtual-return 155] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#f #f #[liar:virtual-return 155]))) (snode-next-edge #(#[liar:virtual-return 155] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:return 157 #[liar:procedure 12 lambda-3]])) (virtual-return-context #[reference-context 158]) (virtual-return-operator #[liar:virtual-continuation 159 effect]) (virtual-return-operand #[liar:continuation-6 160 effect]) #[liar:return 157 #[liar:procedure 12 lambda-3]] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:virtual-return 155] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:return 157 #[liar:procedure 12 lambda-3]]))) (snode-next-edge #f) (application-type return) (application-context #[reference-context 161]) (application-operator #[liar:continuation-6 160 effect]) (application-operands (#[liar:procedure 12 lambda-3])) ((application-parallel-node application-owner) #[liar:parallel 162]) ((application-operators application-args-passed-out?) #f) (application-operand-values (#[liar:procedure 30 lambda-4] #[liar:continuation-6 160 effect])) (application-continuation-push #[liar:virtual-return 155]) (application-model ()) (application-frame-adjustment #f) (application-reuse-existing-frame? #f) ---------- Continuation ---------- #[liar:continuation-6 160 effect] (rvalue-%passed-out? #f) (procedure-type 0) (procedure-block #[liar:block 163 continuation continuation-6]) (procedure-name continuation) (procedure-required (#[liar:variable 164 |#[value]|])) (procedure-optional ()) (procedure-rest #f) (procedure-names ()) (procedure-values ()) (procedure-entry-edge #(#f #f #[liar:fg-noop 165])) (procedure-original-required (#[liar:variable 164 |#[value]|])) (procedure-original-optional ()) (procedure-original-rest ()) (procedure-label continuation-6) (procedure-applications (#[liar:return 157 #[liar:procedure 12 lambda-3]] #[liar:return 45 #[liar:procedure 12 lambda-3]] #[liar:return 44 #[liar:procedure 12 lambda-3]])) (procedure-always-known-operator? sometimes) (procedure-closure-cons #f) (procedure-closure-context #f) (procedure-closure-offset 0) (procedure-register #f) (procedure-closure-size #f) (procedure-target-block #f) (procedure-initial-callees (())) ((procedure-free-callees procedure-callees) ()) ((procedure-free-callers procedure-callers) ()) (procedure-virtual-closure? #f) (procedure-closure-reasons ()) ((procedure-variables procedure-side-effects) (#[liar:variable 47 |#[continuation]|] #[liar:variable 46 |#[continuation]|])) (procedure-alist ()) (procedure-debugging-info #[dbg-continuation 166]) #[liar:fg-noop 165] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#f #f #[liar:fg-noop 165]))) (snode-next-edge #(#[liar:fg-noop 165] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 73])) #[liar:combination 73] (node-generation 12) (node-alist (("subgraph-color-tag" . #[subgraph-color 78]))) (node-previous-edges (#(#[liar:fg-noop 165] #[compiled-procedure 21 ("cfg1" #x9) #xc #x2559784] #[liar:combination 73]))) (snode-next-edge #f) (application-type combination) (application-context #[reference-context 167]) (application-operator #[liar:reference 168 |#[value]|]) (application-operands (#[liar:reference 170 |#[continuation]|] #[liar:reference 169 x])) ((application-parallel-node application-owner) #[liar:parallel 171]) ((application-operators application-args-passed-out?) #f) (application-operand-values 1) (application-continuation-push #f) (application-model #[liar:procedure 12 lambda-3]) (application-frame-adjustment (known . #[liar:block 153 stack lambda-7])) (application-reuse-existing-frame? #[liar:block 153 stack lambda-7]) ---------- Blocks ---------- #[liar:block 15 ic] (rvalue-%passed-out? 1) (block-type 3) (block-parent #f) (block-children (#[liar:block 69 stack lambda-3] #[liar:block 62 stack lambda-4] #[liar:block 153 stack lambda-7] #[liar:block 56 stack y-8])) (block-disowned-children (#[liar:block 25 stack test-9])) (block-frame-size #f) (block-procedure #[liar:expression 14]) (block-bound-variables ()) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications (#[liar:return 17 #[liar:procedure 18 test-9]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 172]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:block 69 stack lambda-3] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children (#[liar:block 129 continuation continuation-2] #[liar:block 145 continuation continuation-1] #[liar:block 94 continuation continuation-0])) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:procedure 12 lambda-3]) (block-bound-variables (#[liar:variable 71 |#[continuation]|] #[liar:variable 70 n])) (block-free-variables (#[liar:variable 63 factorial])) (block-variables-nontransitively-free (#[liar:variable 63 factorial])) (block-declarations ()) (block-applications (#[liar:return 99 #[liar:constant 100 1]] #[liar:combination 132] #[liar:combination 133] #[liar:combination 116] #[liar:combination 79])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 173]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 69 stack lambda-3])) (block-popping-limit #[liar:block 69 stack lambda-3]) (block-layout-frozen? #t) #[liar:variable 71 |#[continuation]|] (lvalue-generation 3) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 27 |#[continuation]|] #[liar:variable 134 |#[continuation]|])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 27 |#[continuation]|] #[liar:variable 134 |#[continuation]|])) (lvalue-initial-values ()) (lvalue-values-cache (#[liar:continuation-2 115 register])) (lvalue-known-value #f) (lvalue-applications (#[liar:return 99 #[liar:constant 100 1]])) (lvalue-passed-in? inherited) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 69 stack lambda-3]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 70 n] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 174]))) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 26 x] #[liar:variable 154 x])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 146 |#[value]|] #[liar:variable 26 x] #[liar:variable 154 x])) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? inherited) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 69 stack lambda-3]) (variable-name n) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #t) (variable-indirection #f) (variable-source-node #f) #[liar:block 129 continuation continuation-2] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-2 115 register]) (block-bound-variables (#[liar:variable 130 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 175]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 130 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:constant 100 1])) (lvalue-values-cache (#[liar:constant 100 1])) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 129 continuation continuation-2]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 145 continuation continuation-1] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-1 119 push]) (block-bound-variables (#[liar:variable 146 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 176]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 146 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 154 x])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 70 n] #[liar:variable 154 x])) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 145 continuation continuation-1]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 94 continuation continuation-0] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-0 82 predicate]) (block-bound-variables (#[liar:variable 95 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 177]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 95 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 94 continuation continuation-0]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 62 stack lambda-4] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children ()) (block-disowned-children (#[liar:block 69 stack lambda-3])) (block-frame-size 1) (block-procedure #[liar:procedure 30 lambda-4]) (block-bound-variables (#[liar:variable 47 |#[continuation]|] #[liar:variable 63 factorial])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications (#[liar:return 64 #[liar:procedure 12 lambda-3]] #[liar:return 44 #[liar:procedure 12 lambda-3]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 178]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 62 stack lambda-4])) (block-popping-limit #[liar:block 62 stack lambda-4]) (block-layout-frozen? #f) #[liar:variable 47 |#[continuation]|] (lvalue-generation 4) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 46 |#[continuation]|])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 46 |#[continuation]|])) (lvalue-initial-values ()) (lvalue-values-cache (#[liar:continuation-5 37 effect] #[liar:continuation-6 160 effect])) (lvalue-known-value #f) (lvalue-applications (#[liar:return 64 #[liar:procedure 12 lambda-3]] #[liar:return 44 #[liar:procedure 12 lambda-3]])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 62 stack lambda-4]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 63 factorial] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 179]))) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:procedure 31 lambda-7])) (lvalue-values-cache (#[liar:procedure 31 lambda-7])) (lvalue-known-value #[liar:procedure 31 lambda-7]) (lvalue-applications (#[liar:combination 133])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 62 stack lambda-4]) (variable-name factorial) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 69 stack lambda-3] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children (#[liar:block 129 continuation continuation-2] #[liar:block 145 continuation continuation-1] #[liar:block 94 continuation continuation-0])) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:procedure 12 lambda-3]) (block-bound-variables (#[liar:variable 71 |#[continuation]|] #[liar:variable 70 n])) (block-free-variables (#[liar:variable 63 factorial])) (block-variables-nontransitively-free (#[liar:variable 63 factorial])) (block-declarations ()) (block-applications (#[liar:return 99 #[liar:constant 100 1]] #[liar:combination 132] #[liar:combination 133] #[liar:combination 116] #[liar:combination 79])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 173]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 69 stack lambda-3])) (block-popping-limit #[liar:block 69 stack lambda-3]) (block-layout-frozen? #t) #[liar:variable 71 |#[continuation]|] (lvalue-generation 3) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 27 |#[continuation]|] #[liar:variable 134 |#[continuation]|])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 27 |#[continuation]|] #[liar:variable 134 |#[continuation]|])) (lvalue-initial-values ()) (lvalue-values-cache (#[liar:continuation-2 115 register])) (lvalue-known-value #f) (lvalue-applications (#[liar:return 99 #[liar:constant 100 1]])) (lvalue-passed-in? inherited) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 69 stack lambda-3]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 70 n] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 174]))) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 26 x] #[liar:variable 154 x])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 146 |#[value]|] #[liar:variable 26 x] #[liar:variable 154 x])) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? inherited) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 69 stack lambda-3]) (variable-name n) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #t) (variable-indirection #f) (variable-source-node #f) #[liar:block 129 continuation continuation-2] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-2 115 register]) (block-bound-variables (#[liar:variable 130 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 175]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 130 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:constant 100 1])) (lvalue-values-cache (#[liar:constant 100 1])) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 129 continuation continuation-2]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 145 continuation continuation-1] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-1 119 push]) (block-bound-variables (#[liar:variable 146 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 176]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 146 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 154 x])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 70 n] #[liar:variable 154 x])) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 145 continuation continuation-1]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 94 continuation continuation-0] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-0 82 predicate]) (block-bound-variables (#[liar:variable 95 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 177]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 95 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 94 continuation continuation-0]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 153 stack lambda-7] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children (#[liar:block 163 continuation continuation-6])) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:procedure 31 lambda-7]) (block-bound-variables (#[liar:variable 134 |#[continuation]|] #[liar:variable 154 x])) (block-free-variables (#[liar:variable 180 y] #[liar:variable 58 f])) (block-variables-nontransitively-free (#[liar:variable 180 y] #[liar:variable 58 f])) (block-declarations ()) (block-applications (#[liar:combination 73] #[liar:return 157 #[liar:procedure 12 lambda-3]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 181]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 153 stack lambda-7])) (block-popping-limit #[liar:block 153 stack lambda-7]) (block-layout-frozen? #t) #[liar:variable 134 |#[continuation]|] (lvalue-generation 1) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:continuation-2 115 register])) (lvalue-values-cache (#[liar:continuation-2 115 register])) (lvalue-known-value #[liar:continuation-2 115 register]) (lvalue-applications ()) (lvalue-passed-in? #f) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 153 stack lambda-7]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 154 x] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 182]))) (lvalue-initial-forward-links (#[liar:variable 70 n])) (lvalue-initial-backward-links (#[liar:variable 146 |#[value]|])) (lvalue-forward-links (#[liar:variable 70 n])) (lvalue-backward-links (#[liar:variable 146 |#[value]|])) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? inherited) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 153 stack lambda-7]) (variable-name x) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #t) (variable-indirection #f) (variable-source-node #f) #[liar:block 163 continuation continuation-6] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 153 stack lambda-7]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-6 160 effect]) (block-bound-variables (#[liar:variable 164 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 183]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 164 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:procedure 12 lambda-3])) (lvalue-values-cache (#[liar:procedure 12 lambda-3])) (lvalue-known-value #[liar:procedure 12 lambda-3]) (lvalue-applications (#[liar:combination 73])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 163 continuation continuation-6]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 56 stack y-8] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children ()) (block-disowned-children (#[liar:block 153 stack lambda-7])) (block-frame-size 0) (block-procedure #[liar:procedure 29 y-8]) (block-bound-variables (#[liar:variable 46 |#[continuation]|])) (block-free-variables (#[liar:variable 180 y])) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications (#[liar:return 57 #[liar:procedure 12 lambda-3]] #[liar:return 45 #[liar:procedure 12 lambda-3]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 184]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 56 stack y-8])) (block-popping-limit #[liar:block 56 stack y-8]) (block-layout-frozen? #f) #[liar:variable 46 |#[continuation]|] (lvalue-generation 2) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 47 |#[continuation]|])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 47 |#[continuation]|])) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:continuation-5 37 effect] #[liar:continuation-6 160 effect])) (lvalue-values-cache (#[liar:continuation-5 37 effect] #[liar:continuation-6 160 effect])) (lvalue-known-value #f) (lvalue-applications (#[liar:return 57 #[liar:procedure 12 lambda-3]])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 56 stack y-8]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 153 stack lambda-7] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children (#[liar:block 163 continuation continuation-6])) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:procedure 31 lambda-7]) (block-bound-variables (#[liar:variable 134 |#[continuation]|] #[liar:variable 154 x])) (block-free-variables (#[liar:variable 180 y] #[liar:variable 58 f])) (block-variables-nontransitively-free (#[liar:variable 180 y] #[liar:variable 58 f])) (block-declarations ()) (block-applications (#[liar:combination 73] #[liar:return 157 #[liar:procedure 12 lambda-3]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 181]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 153 stack lambda-7])) (block-popping-limit #[liar:block 153 stack lambda-7]) (block-layout-frozen? #t) #[liar:variable 134 |#[continuation]|] (lvalue-generation 1) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:continuation-2 115 register])) (lvalue-values-cache (#[liar:continuation-2 115 register])) (lvalue-known-value #[liar:continuation-2 115 register]) (lvalue-applications ()) (lvalue-passed-in? #f) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 153 stack lambda-7]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 154 x] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 182]))) (lvalue-initial-forward-links (#[liar:variable 70 n])) (lvalue-initial-backward-links (#[liar:variable 146 |#[value]|])) (lvalue-forward-links (#[liar:variable 70 n])) (lvalue-backward-links (#[liar:variable 146 |#[value]|])) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? inherited) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 153 stack lambda-7]) (variable-name x) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #t) (variable-indirection #f) (variable-source-node #f) #[liar:block 163 continuation continuation-6] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 153 stack lambda-7]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-6 160 effect]) (block-bound-variables (#[liar:variable 164 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 183]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 164 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:procedure 12 lambda-3])) (lvalue-values-cache (#[liar:procedure 12 lambda-3])) (lvalue-known-value #[liar:procedure 12 lambda-3]) (lvalue-applications (#[liar:combination 73])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 163 continuation continuation-6]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 25 stack test-9] (rvalue-%passed-out? #f) (block-type 5) (block-parent #f) (block-children (#[liar:block 41 continuation continuation-5])) (block-disowned-children (#[liar:block 62 stack lambda-4] #[liar:block 56 stack y-8])) (block-frame-size 1) (block-procedure #[liar:procedure 18 test-9]) (block-bound-variables (#[liar:variable 27 |#[continuation]|] #[liar:variable 26 x])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications (#[liar:combination 50] #[liar:combination 34])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 185]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 25 stack test-9])) (block-popping-limit #[liar:block 25 stack test-9]) (block-layout-frozen? #t) #[liar:variable 27 |#[continuation]|] (lvalue-generation 5) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 25 stack test-9]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 26 x] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 186]))) (lvalue-initial-forward-links (#[liar:variable 70 n])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 70 n])) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 25 stack test-9]) (variable-name x) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #t) (variable-indirection #f) (variable-source-node #f) #[liar:block 41 continuation continuation-5] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 25 stack test-9]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-5 37 effect]) (block-bound-variables (#[liar:variable 42 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 187]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 42 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:procedure 12 lambda-3])) (lvalue-values-cache (#[liar:procedure 12 lambda-3])) (lvalue-known-value #[liar:procedure 12 lambda-3]) (lvalue-applications (#[liar:combination 50])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 41 continuation continuation-5]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 62 stack lambda-4] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children ()) (block-disowned-children (#[liar:block 69 stack lambda-3])) (block-frame-size 1) (block-procedure #[liar:procedure 30 lambda-4]) (block-bound-variables (#[liar:variable 47 |#[continuation]|] #[liar:variable 63 factorial])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications (#[liar:return 64 #[liar:procedure 12 lambda-3]] #[liar:return 44 #[liar:procedure 12 lambda-3]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 178]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 62 stack lambda-4])) (block-popping-limit #[liar:block 62 stack lambda-4]) (block-layout-frozen? #f) #[liar:variable 47 |#[continuation]|] (lvalue-generation 4) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 46 |#[continuation]|])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 46 |#[continuation]|])) (lvalue-initial-values ()) (lvalue-values-cache (#[liar:continuation-5 37 effect] #[liar:continuation-6 160 effect])) (lvalue-known-value #f) (lvalue-applications (#[liar:return 64 #[liar:procedure 12 lambda-3]] #[liar:return 44 #[liar:procedure 12 lambda-3]])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 62 stack lambda-4]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 63 factorial] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 179]))) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:procedure 31 lambda-7])) (lvalue-values-cache (#[liar:procedure 31 lambda-7])) (lvalue-known-value #[liar:procedure 31 lambda-7]) (lvalue-applications (#[liar:combination 133])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 62 stack lambda-4]) (variable-name factorial) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 69 stack lambda-3] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children (#[liar:block 129 continuation continuation-2] #[liar:block 145 continuation continuation-1] #[liar:block 94 continuation continuation-0])) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:procedure 12 lambda-3]) (block-bound-variables (#[liar:variable 71 |#[continuation]|] #[liar:variable 70 n])) (block-free-variables (#[liar:variable 63 factorial])) (block-variables-nontransitively-free (#[liar:variable 63 factorial])) (block-declarations ()) (block-applications (#[liar:return 99 #[liar:constant 100 1]] #[liar:combination 132] #[liar:combination 133] #[liar:combination 116] #[liar:combination 79])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 173]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 69 stack lambda-3])) (block-popping-limit #[liar:block 69 stack lambda-3]) (block-layout-frozen? #t) #[liar:variable 71 |#[continuation]|] (lvalue-generation 3) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 27 |#[continuation]|] #[liar:variable 134 |#[continuation]|])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 27 |#[continuation]|] #[liar:variable 134 |#[continuation]|])) (lvalue-initial-values ()) (lvalue-values-cache (#[liar:continuation-2 115 register])) (lvalue-known-value #f) (lvalue-applications (#[liar:return 99 #[liar:constant 100 1]])) (lvalue-passed-in? inherited) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 69 stack lambda-3]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 70 n] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 174]))) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links (#[liar:variable 26 x] #[liar:variable 154 x])) (lvalue-forward-links ()) (lvalue-backward-links (#[liar:variable 146 |#[value]|] #[liar:variable 26 x] #[liar:variable 154 x])) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? inherited) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 69 stack lambda-3]) (variable-name n) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #t) (variable-indirection #f) (variable-source-node #f) #[liar:block 129 continuation continuation-2] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-2 115 register]) (block-bound-variables (#[liar:variable 130 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 175]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 130 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:constant 100 1])) (lvalue-values-cache (#[liar:constant 100 1])) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 129 continuation continuation-2]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 145 continuation continuation-1] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-1 119 push]) (block-bound-variables (#[liar:variable 146 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 176]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 146 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 154 x])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 70 n] #[liar:variable 154 x])) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 145 continuation continuation-1]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 94 continuation continuation-0] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 69 stack lambda-3]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-0 82 predicate]) (block-bound-variables (#[liar:variable 95 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 177]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 95 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? 1) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 94 continuation continuation-0]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 56 stack y-8] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children ()) (block-disowned-children (#[liar:block 153 stack lambda-7])) (block-frame-size 0) (block-procedure #[liar:procedure 29 y-8]) (block-bound-variables (#[liar:variable 46 |#[continuation]|])) (block-free-variables (#[liar:variable 180 y])) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications (#[liar:return 57 #[liar:procedure 12 lambda-3]] #[liar:return 45 #[liar:procedure 12 lambda-3]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 184]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 56 stack y-8])) (block-popping-limit #[liar:block 56 stack y-8]) (block-layout-frozen? #f) #[liar:variable 46 |#[continuation]|] (lvalue-generation 2) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 47 |#[continuation]|])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 47 |#[continuation]|])) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:continuation-5 37 effect] #[liar:continuation-6 160 effect])) (lvalue-values-cache (#[liar:continuation-5 37 effect] #[liar:continuation-6 160 effect])) (lvalue-known-value #f) (lvalue-applications (#[liar:return 57 #[liar:procedure 12 lambda-3]])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 56 stack y-8]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:block 153 stack lambda-7] (rvalue-%passed-out? #f) (block-type 5) (block-parent #[liar:block 15 ic]) (block-children (#[liar:block 163 continuation continuation-6])) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:procedure 31 lambda-7]) (block-bound-variables (#[liar:variable 134 |#[continuation]|] #[liar:variable 154 x])) (block-free-variables (#[liar:variable 180 y] #[liar:variable 58 f])) (block-variables-nontransitively-free (#[liar:variable 180 y] #[liar:variable 58 f])) (block-declarations ()) (block-applications (#[liar:combination 73] #[liar:return 157 #[liar:procedure 12 lambda-3]])) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 181]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) #f) ((block-popping-limits block-grafted-blocks) (#[liar:block 153 stack lambda-7])) (block-popping-limit #[liar:block 153 stack lambda-7]) (block-layout-frozen? #t) #[liar:variable 134 |#[continuation]|] (lvalue-generation 1) (lvalue-alist ()) (lvalue-initial-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-initial-backward-links ()) (lvalue-forward-links (#[liar:variable 71 |#[continuation]|])) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:continuation-2 115 register])) (lvalue-values-cache (#[liar:continuation-2 115 register])) (lvalue-known-value #[liar:continuation-2 115 register]) (lvalue-applications ()) (lvalue-passed-in? #f) (lvalue-passed-out? 1) (lvalue-source-links ()) (variable-block #[liar:block 153 stack lambda-7]) (variable-name |#[continuation]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f) #[liar:variable 154 x] (lvalue-generation 0) (lvalue-alist (("dbg-variable-tag" . #[dbg-variable 182]))) (lvalue-initial-forward-links (#[liar:variable 70 n])) (lvalue-initial-backward-links (#[liar:variable 146 |#[value]|])) (lvalue-forward-links (#[liar:variable 70 n])) (lvalue-backward-links (#[liar:variable 146 |#[value]|])) (lvalue-initial-values ()) (lvalue-values-cache ()) (lvalue-known-value #f) (lvalue-applications ()) (lvalue-passed-in? inherited) (lvalue-passed-out? 3) (lvalue-source-links ()) (variable-block #[liar:block 153 stack lambda-7]) (variable-name x) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset 0) (variable-declarations (uuo-link)) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #t) (variable-indirection #f) (variable-source-node #f) #[liar:block 163 continuation continuation-6] (rvalue-%passed-out? #f) (block-type 1) (block-parent #[liar:block 153 stack lambda-7]) (block-children ()) (block-disowned-children ()) (block-frame-size 1) (block-procedure #[liar:continuation-6 160 effect]) (block-bound-variables (#[liar:variable 164 |#[value]|])) (block-free-variables ()) (block-variables-nontransitively-free ()) (block-declarations ()) (block-applications ()) (block-interned-variables ()) (block-closure-offsets ()) (block-debugging-info #[dbg-block 183]) ((block-stack-link block-shared-block) #f) ((block-static-link? block-entry-number) unknown) ((block-popping-limits block-grafted-blocks) unknown) (block-popping-limit unknown) (block-layout-frozen? #f) #[liar:variable 164 |#[value]|] (lvalue-generation #f) (lvalue-alist ()) (lvalue-initial-forward-links ()) (lvalue-initial-backward-links ()) (lvalue-forward-links ()) (lvalue-backward-links ()) (lvalue-initial-values (#[liar:procedure 12 lambda-3])) (lvalue-values-cache (#[liar:procedure 12 lambda-3])) (lvalue-known-value #[liar:procedure 12 lambda-3]) (lvalue-applications (#[liar:combination 73])) (lvalue-passed-in? #f) (lvalue-passed-out? #f) (lvalue-source-links ()) (variable-block #[liar:block 163 continuation continuation-6]) (variable-name |#[value]|) (variable-assignments ()) (variable-in-cell? #f) (variable-normal-offset #f) (variable-declarations ()) (variable-closed-over? #f) (variable-register #f) (variable-stack-overwrite-target? #f) (variable-indirection #f) (variable-source-node #f)