diff options
Diffstat (limited to 'cpp/.traces/string-append-1')
| -rw-r--r-- | cpp/.traces/string-append-1 | 937 |
1 files changed, 0 insertions, 937 deletions
diff --git a/cpp/.traces/string-append-1 b/cpp/.traces/string-append-1 deleted file mode 100644 index 933e2d37..00000000 --- a/cpp/.traces/string-append-1 +++ /dev/null @@ -1,937 +0,0 @@ -parse/0: instruction: run -parse/0: ingredient: {name: " - 1:address:array:character/raw <- new [hello,] - 2:address:array:character/raw <- new [ world!] - 3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw - 4:array:character/raw <- copy 3:address:array:character/raw/deref - ", value: 0, type: 0, properties: [" - 1:address:array:character/raw <- new [hello,] - 2:address:array:character/raw <- new [ world!] - 3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw - 4:array:character/raw <- copy 3:address:array:character/raw/deref - ": "literal-string"]} -parse/0: instruction: memory-should-contain -parse/0: ingredient: {name: " - 4:string <- [hello, world!] - ", value: 0, type: 0, properties: [" - 4:string <- [hello, world!] - ": "literal-string"]} -after-brace/0: recipe string-append-1 -after-brace/0: run ... -after-brace/0: memory-should-contain ... -new/0: routine allocated memory from 1000 to 101000 -schedule/0: string-append-1 -run/0: instruction string-append-1/0 -run/0: run/45 {name: " - 1:address:array:character/raw <- new [hello,] - 2:address:array:character/raw <- new [ world!] - 3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw - 4:array:character/raw <- copy 3:address:array:character/raw/deref - ", value: 0, type: 0, properties: [" - 1:address:array:character/raw <- new [hello,] - 2:address:array:character/raw <- new [ world!] - 3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw - 4:array:character/raw <- copy 3:address:array:character/raw/deref - ": "literal-string"]} -parse/0: instruction: new -parse/0: ingredient: {name: "hello,", value: 0, type: 0, properties: ["hello,": "literal-string"]} -parse/0: product: {name: "1", value: 0, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]} -parse/0: instruction: new -parse/0: ingredient: {name: " world!", value: 0, type: 0, properties: [" world!": "literal-string"]} -parse/0: product: {name: "2", value: 0, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]} -parse/0: instruction: string-append -parse/0: ingredient: {name: "1", value: 0, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]} -parse/0: ingredient: {name: "2", value: 0, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]} -parse/0: product: {name: "3", value: 0, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": ]} -parse/0: instruction: copy -parse/0: ingredient: {name: "3", value: 0, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": , "deref": ]} -parse/0: product: {name: "4", value: 0, type: 5-4, properties: ["4": "array":"character", "raw": ]} -new/0: hello, -> 0 -new/0: world! -> 0 -after-brace/0: recipe run1001 -after-brace/0: new ... -after-brace/0: new ... -after-brace/0: string-append ... -after-brace/0: copy ... -run/0: instruction run1001/0 -run/0: {name: "1", value: 1, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]} <- new/44 {name: "hello,", value: 0, type: 0, properties: ["hello,": "literal-string"]} -mem/0: storing 1000 in location 1 -run/0: instruction run1001/1 -run/0: {name: "2", value: 2, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]} <- new/44 {name: " world!", value: 0, type: 0, properties: [" world!": "literal-string"]} -mem/0: storing 1007 in location 2 -run/0: instruction run1001/2 -run/0: {name: "3", value: 3, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": ]} <- string-append/106 {name: "1", value: 1, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]}, {name: "2", value: 2, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]} -mem/0: location 1 is 1000 -mem/0: location 2 is 1007 -run/0: instruction string-append/0 -run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/44 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]} -mem/0: array size is 30 -mem/0: new alloc: 1015 -run/0: instruction string-append/1 -run/0: {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character"]} <- next-ingredient/30 -run/0: product 0 is 1000 -mem/0: storing 1000 in location 1017 -run/0: instruction string-append/2 -run/0: {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} <- length/28 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]} -mem/0: location 1017 is 1000 -mem/0: storing 6 in location 1018 -run/0: instruction string-append/3 -run/0: {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character"]} <- next-ingredient/30 -run/0: product 0 is 1007 -mem/0: storing 1007 in location 1019 -run/0: instruction string-append/4 -run/0: {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} <- length/28 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -mem/0: storing 7 in location 1020 -run/0: instruction string-append/5 -run/0: {name: "result-len", value: 5, type: 1, properties: ["result-len": "integer"]} <- add/2 {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is a-len -mem/0: location 1018 is 6 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 13 -mem/0: storing 13 in location 1021 -run/0: instruction string-append/6 -run/0: {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character"]} <- new/44 {name: "character", value: 4, type: 0, properties: ["character": "type"]}, {name: "result-len", value: 5, type: 1, properties: ["result-len": "integer"]} -mem/0: location 1021 is 13 -mem/0: array size is 13 -mem/0: new alloc: 1046 -mem/0: storing 1046 in location 1022 -run/0: instruction string-append/7 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]} -run/0: ingredient 0 is 0 -mem/0: storing 0 in location 1023 -run/0: instruction string-append/8 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]} -run/0: ingredient 0 is 0 -mem/0: storing 0 in location 1024 -run/0: instruction string-append/10 -run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 0 -run/0: ingredient 1 is a-len -mem/0: location 1018 is 6 -run/0: product 0 is 0 -mem/0: storing 0 in location 1025 -run/0: instruction string-append/11 -run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1025 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/12 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 0 -run/0: address to copy is 1047 -run/0: product 0 is 1047 -mem/0: storing 1047 in location 1026 -run/0: instruction string-append/13 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]} -mem/0: location 1017 is 1000 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 0 -run/0: address to copy is 1001 -run/0: its type is 4 -mem/0: location 1001 is 104 -run/0: product 0 is 104 -mem/0: storing 104 in location 1027 -run/0: instruction string-append/14 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 104 -mem/0: location 1026 is 1047 -mem/0: storing 104 in location 1047 -run/0: instruction string-append/15 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 0 -run/0: ingredient 1 is 1 -run/0: product 0 is 1 -mem/0: storing 1 in location 1024 -run/0: instruction string-append/16 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 0 -run/0: ingredient 1 is 1 -run/0: product 0 is 1 -mem/0: storing 1 in location 1023 -run/0: instruction string-append/17 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 10 -run/0: instruction string-append/10 -run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 1 -run/0: ingredient 1 is a-len -mem/0: location 1018 is 6 -run/0: product 0 is 0 -mem/0: storing 0 in location 1025 -run/0: instruction string-append/11 -run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1025 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/12 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 1 -run/0: address to copy is 1048 -run/0: product 0 is 1048 -mem/0: storing 1048 in location 1026 -run/0: instruction string-append/13 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]} -mem/0: location 1017 is 1000 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 1 -run/0: address to copy is 1002 -run/0: its type is 4 -mem/0: location 1002 is 101 -run/0: product 0 is 101 -mem/0: storing 101 in location 1027 -run/0: instruction string-append/14 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 101 -mem/0: location 1026 is 1048 -mem/0: storing 101 in location 1048 -run/0: instruction string-append/15 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 1 -run/0: ingredient 1 is 1 -run/0: product 0 is 2 -mem/0: storing 2 in location 1024 -run/0: instruction string-append/16 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 1 -run/0: ingredient 1 is 1 -run/0: product 0 is 2 -mem/0: storing 2 in location 1023 -run/0: instruction string-append/17 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 10 -run/0: instruction string-append/10 -run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 2 -run/0: ingredient 1 is a-len -mem/0: location 1018 is 6 -run/0: product 0 is 0 -mem/0: storing 0 in location 1025 -run/0: instruction string-append/11 -run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1025 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/12 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 2 -run/0: address to copy is 1049 -run/0: product 0 is 1049 -mem/0: storing 1049 in location 1026 -run/0: instruction string-append/13 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]} -mem/0: location 1017 is 1000 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 2 -run/0: address to copy is 1003 -run/0: its type is 4 -mem/0: location 1003 is 108 -run/0: product 0 is 108 -mem/0: storing 108 in location 1027 -run/0: instruction string-append/14 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 108 -mem/0: location 1026 is 1049 -mem/0: storing 108 in location 1049 -run/0: instruction string-append/15 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 2 -run/0: ingredient 1 is 1 -run/0: product 0 is 3 -mem/0: storing 3 in location 1024 -run/0: instruction string-append/16 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 2 -run/0: ingredient 1 is 1 -run/0: product 0 is 3 -mem/0: storing 3 in location 1023 -run/0: instruction string-append/17 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 10 -run/0: instruction string-append/10 -run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 3 -run/0: ingredient 1 is a-len -mem/0: location 1018 is 6 -run/0: product 0 is 0 -mem/0: storing 0 in location 1025 -run/0: instruction string-append/11 -run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1025 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/12 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 3 -run/0: address to copy is 1050 -run/0: product 0 is 1050 -mem/0: storing 1050 in location 1026 -run/0: instruction string-append/13 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]} -mem/0: location 1017 is 1000 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 3 -run/0: address to copy is 1004 -run/0: its type is 4 -mem/0: location 1004 is 108 -run/0: product 0 is 108 -mem/0: storing 108 in location 1027 -run/0: instruction string-append/14 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 108 -mem/0: location 1026 is 1050 -mem/0: storing 108 in location 1050 -run/0: instruction string-append/15 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 3 -run/0: ingredient 1 is 1 -run/0: product 0 is 4 -mem/0: storing 4 in location 1024 -run/0: instruction string-append/16 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 3 -run/0: ingredient 1 is 1 -run/0: product 0 is 4 -mem/0: storing 4 in location 1023 -run/0: instruction string-append/17 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 10 -run/0: instruction string-append/10 -run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 4 -run/0: ingredient 1 is a-len -mem/0: location 1018 is 6 -run/0: product 0 is 0 -mem/0: storing 0 in location 1025 -run/0: instruction string-append/11 -run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1025 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/12 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 4 -run/0: address to copy is 1051 -run/0: product 0 is 1051 -mem/0: storing 1051 in location 1026 -run/0: instruction string-append/13 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]} -mem/0: location 1017 is 1000 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 4 -run/0: address to copy is 1005 -run/0: its type is 4 -mem/0: location 1005 is 111 -run/0: product 0 is 111 -mem/0: storing 111 in location 1027 -run/0: instruction string-append/14 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 111 -mem/0: location 1026 is 1051 -mem/0: storing 111 in location 1051 -run/0: instruction string-append/15 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 4 -run/0: ingredient 1 is 1 -run/0: product 0 is 5 -mem/0: storing 5 in location 1024 -run/0: instruction string-append/16 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 4 -run/0: ingredient 1 is 1 -run/0: product 0 is 5 -mem/0: storing 5 in location 1023 -run/0: instruction string-append/17 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 10 -run/0: instruction string-append/10 -run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 5 -run/0: ingredient 1 is a-len -mem/0: location 1018 is 6 -run/0: product 0 is 0 -mem/0: storing 0 in location 1025 -run/0: instruction string-append/11 -run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1025 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/12 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 5 -run/0: address to copy is 1052 -run/0: product 0 is 1052 -mem/0: storing 1052 in location 1026 -run/0: instruction string-append/13 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]} -mem/0: location 1017 is 1000 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 5 -run/0: address to copy is 1006 -run/0: its type is 4 -mem/0: location 1006 is 44 -run/0: product 0 is 44 -mem/0: storing 44 in location 1027 -run/0: instruction string-append/14 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 44 -mem/0: location 1026 is 1052 -mem/0: storing 44 in location 1052 -run/0: instruction string-append/15 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 5 -run/0: ingredient 1 is 1 -run/0: product 0 is 6 -mem/0: storing 6 in location 1024 -run/0: instruction string-append/16 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 5 -run/0: ingredient 1 is 1 -run/0: product 0 is 6 -mem/0: storing 6 in location 1023 -run/0: instruction string-append/17 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 10 -run/0: instruction string-append/10 -run/0: {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "a-len", value: 2, type: 1, properties: ["a-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 6 -run/0: ingredient 1 is a-len -mem/0: location 1018 is 6 -run/0: product 0 is 1 -mem/0: storing 1 in location 1025 -run/0: instruction string-append/11 -run/0: break-if/11 {name: "a-done?", value: 9, type: 3, properties: ["a-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1025 is 1 -run/0: ingredient 0 is 1 -run/0: ingredient 1 is -run/0: jumping to instruction 18 -run/0: instruction string-append/19 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]} -run/0: ingredient 0 is 0 -mem/0: storing 0 in location 1024 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 0 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 0 -mem/0: storing 0 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/23 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 6 -run/0: address to copy is 1053 -run/0: product 0 is 1053 -mem/0: storing 1053 in location 1026 -run/0: instruction string-append/24 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 0 -run/0: address to copy is 1008 -run/0: its type is 4 -mem/0: location 1008 is 32 -run/0: product 0 is 32 -mem/0: storing 32 in location 1027 -run/0: instruction string-append/25 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 32 -mem/0: location 1026 is 1053 -mem/0: storing 32 in location 1053 -run/0: instruction string-append/26 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 0 -run/0: ingredient 1 is 1 -run/0: product 0 is 1 -mem/0: storing 1 in location 1024 -run/0: instruction string-append/27 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 6 -run/0: ingredient 1 is 1 -run/0: product 0 is 7 -mem/0: storing 7 in location 1023 -run/0: instruction string-append/28 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 21 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 1 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 0 -mem/0: storing 0 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/23 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 7 -run/0: address to copy is 1054 -run/0: product 0 is 1054 -mem/0: storing 1054 in location 1026 -run/0: instruction string-append/24 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 1 -run/0: address to copy is 1009 -run/0: its type is 4 -mem/0: location 1009 is 119 -run/0: product 0 is 119 -mem/0: storing 119 in location 1027 -run/0: instruction string-append/25 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 119 -mem/0: location 1026 is 1054 -mem/0: storing 119 in location 1054 -run/0: instruction string-append/26 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 1 -run/0: ingredient 1 is 1 -run/0: product 0 is 2 -mem/0: storing 2 in location 1024 -run/0: instruction string-append/27 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 7 -run/0: ingredient 1 is 1 -run/0: product 0 is 8 -mem/0: storing 8 in location 1023 -run/0: instruction string-append/28 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 21 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 2 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 0 -mem/0: storing 0 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/23 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 8 -run/0: address to copy is 1055 -run/0: product 0 is 1055 -mem/0: storing 1055 in location 1026 -run/0: instruction string-append/24 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 2 -run/0: address to copy is 1010 -run/0: its type is 4 -mem/0: location 1010 is 111 -run/0: product 0 is 111 -mem/0: storing 111 in location 1027 -run/0: instruction string-append/25 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 111 -mem/0: location 1026 is 1055 -mem/0: storing 111 in location 1055 -run/0: instruction string-append/26 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 2 -run/0: ingredient 1 is 1 -run/0: product 0 is 3 -mem/0: storing 3 in location 1024 -run/0: instruction string-append/27 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 8 -run/0: ingredient 1 is 1 -run/0: product 0 is 9 -mem/0: storing 9 in location 1023 -run/0: instruction string-append/28 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 21 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 3 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 0 -mem/0: storing 0 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/23 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 9 -run/0: address to copy is 1056 -run/0: product 0 is 1056 -mem/0: storing 1056 in location 1026 -run/0: instruction string-append/24 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 3 -run/0: address to copy is 1011 -run/0: its type is 4 -mem/0: location 1011 is 114 -run/0: product 0 is 114 -mem/0: storing 114 in location 1027 -run/0: instruction string-append/25 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 114 -mem/0: location 1026 is 1056 -mem/0: storing 114 in location 1056 -run/0: instruction string-append/26 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 3 -run/0: ingredient 1 is 1 -run/0: product 0 is 4 -mem/0: storing 4 in location 1024 -run/0: instruction string-append/27 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 9 -run/0: ingredient 1 is 1 -run/0: product 0 is 10 -mem/0: storing 10 in location 1023 -run/0: instruction string-append/28 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 21 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 4 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 0 -mem/0: storing 0 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/23 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 10 -run/0: address to copy is 1057 -run/0: product 0 is 1057 -mem/0: storing 1057 in location 1026 -run/0: instruction string-append/24 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 4 -run/0: address to copy is 1012 -run/0: its type is 4 -mem/0: location 1012 is 108 -run/0: product 0 is 108 -mem/0: storing 108 in location 1027 -run/0: instruction string-append/25 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 108 -mem/0: location 1026 is 1057 -mem/0: storing 108 in location 1057 -run/0: instruction string-append/26 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 4 -run/0: ingredient 1 is 1 -run/0: product 0 is 5 -mem/0: storing 5 in location 1024 -run/0: instruction string-append/27 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 10 -run/0: ingredient 1 is 1 -run/0: product 0 is 11 -mem/0: storing 11 in location 1023 -run/0: instruction string-append/28 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 21 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 5 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 0 -mem/0: storing 0 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/23 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 11 -run/0: address to copy is 1058 -run/0: product 0 is 1058 -mem/0: storing 1058 in location 1026 -run/0: instruction string-append/24 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 5 -run/0: address to copy is 1013 -run/0: its type is 4 -mem/0: location 1013 is 100 -run/0: product 0 is 100 -mem/0: storing 100 in location 1027 -run/0: instruction string-append/25 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 100 -mem/0: location 1026 is 1058 -mem/0: storing 100 in location 1058 -run/0: instruction string-append/26 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 5 -run/0: ingredient 1 is 1 -run/0: product 0 is 6 -mem/0: storing 6 in location 1024 -run/0: instruction string-append/27 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 11 -run/0: ingredient 1 is 1 -run/0: product 0 is 12 -mem/0: storing 12 in location 1023 -run/0: instruction string-append/28 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 21 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 6 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 0 -mem/0: storing 0 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 0 -run/0: ingredient 0 is 0 -run/0: jump-if fell through -run/0: instruction string-append/23 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character"]} <- index-address/27 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -run/0: ingredient 0 is result -mem/0: location 1022 is 1046 -run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} -mem/0: location 1023 is 12 -run/0: address to copy is 1059 -run/0: product 0 is 1059 -mem/0: storing 1059 in location 1026 -run/0: instruction string-append/24 -run/0: {name: "in", value: 11, type: 4, properties: ["in": "character"]} <- index/26 {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}, {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]} -mem/0: location 1019 is 1007 -run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]} -mem/0: location 1024 is 6 -run/0: address to copy is 1014 -run/0: its type is 4 -mem/0: location 1014 is 33 -run/0: product 0 is 33 -mem/0: storing 33 in location 1027 -run/0: instruction string-append/25 -run/0: {name: "out", value: 10, type: 2-4, properties: ["out": "address":"character", "deref": ]} <- copy/1 {name: "in", value: 11, type: 4, properties: ["in": "character"]} -run/0: ingredient 0 is in -mem/0: location 1027 is 33 -mem/0: location 1026 is 1059 -mem/0: storing 33 in location 1059 -run/0: instruction string-append/26 -run/0: {name: "i", value: 8, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 6 -run/0: ingredient 1 is 1 -run/0: product 0 is 7 -mem/0: storing 7 in location 1024 -run/0: instruction string-append/27 -run/0: {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]} <- add/2 {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]} -run/0: ingredient 0 is result-idx -mem/0: location 1023 is 12 -run/0: ingredient 1 is 1 -run/0: product 0 is 13 -mem/0: storing 13 in location 1023 -run/0: instruction string-append/28 -run/0: loop/10 {name: "", value: -8, type: , properties: ["": ]} -run/0: ingredient 0 is -8 -run/0: jumping to instruction 21 -run/0: instruction string-append/21 -run/0: {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 8, type: 1, properties: ["i": "integer"]}, {name: "b-len", value: 4, type: 1, properties: ["b-len": "integer"]} -run/0: ingredient 0 is i -mem/0: location 1024 is 7 -run/0: ingredient 1 is b-len -mem/0: location 1020 is 7 -run/0: product 0 is 1 -mem/0: storing 1 in location 1028 -run/0: instruction string-append/22 -run/0: break-if/11 {name: "b-done?", value: 12, type: 3, properties: ["b-done?": "boolean"]}, {name: "", value: 6, type: , properties: ["": ]} -mem/0: location 1028 is 1 -run/0: ingredient 0 is 1 -run/0: ingredient 1 is -run/0: jumping to instruction 29 -run/0: instruction string-append/30 -run/0: reply/33 {name: "result", value: 6, type: 2-5-4, properties: ["result": "address":"array":"character"]} -mem/0: location 1022 is 1046 -run/0: result 0 is 1046 -mem/0: storing 1046 in location 3 -run/0: instruction run1001/3 -run/0: {name: "4", value: 4, type: 5-4, properties: ["4": "array":"character", "raw": ]} <- copy/1 {name: "3", value: 3, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": , "deref": ]} -run/0: ingredient 0 is 3 -mem/0: location 3 is 1046 -mem/0: location 1046 is 13 -mem/0: location 1047 is 104 -mem/0: location 1048 is 101 -mem/0: location 1049 is 108 -mem/0: location 1050 is 108 -mem/0: location 1051 is 111 -mem/0: location 1052 is 44 -mem/0: location 1053 is 32 -mem/0: location 1054 is 119 -mem/0: location 1055 is 111 -mem/0: location 1056 is 114 -mem/0: location 1057 is 108 -mem/0: location 1058 is 100 -mem/0: location 1059 is 33 -mem/0: storing 13 in location 4 -mem/0: storing 104 in location 5 -mem/0: storing 101 in location 6 -mem/0: storing 108 in location 7 -mem/0: storing 108 in location 8 -mem/0: storing 111 in location 9 -mem/0: storing 44 in location 10 -mem/0: storing 32 in location 11 -mem/0: storing 119 in location 12 -mem/0: storing 111 in location 13 -mem/0: storing 114 in location 14 -mem/0: storing 108 in location 15 -mem/0: storing 100 in location 16 -mem/0: storing 33 in location 17 -run/0: instruction string-append-1/1 -run/0: memory-should-contain/46 {name: " - 4:string <- [hello, world!] - ", value: 0, type: 0, properties: [" - 4:string <- [hello, world!] - ": "literal-string"]} -run/0: checking string length at 4 -run/0: checking location 5 -run/0: checking location 6 -run/0: checking location 7 -run/0: checking location 8 -run/0: checking location 9 -run/0: checking location 10 -run/0: checking location 11 -run/0: checking location 12 -run/0: checking location 13 -run/0: checking location 14 -run/0: checking location 15 -run/0: checking location 16 -run/0: checking location 17 |