about summary refs log tree commit diff stats
path: root/cpp/.traces/integer-to-decimal-digit-positive
diff options
context:
space:
mode:
Diffstat (limited to 'cpp/.traces/integer-to-decimal-digit-positive')
-rw-r--r--cpp/.traces/integer-to-decimal-digit-positive438
1 files changed, 219 insertions, 219 deletions
diff --git a/cpp/.traces/integer-to-decimal-digit-positive b/cpp/.traces/integer-to-decimal-digit-positive
index 7239ec92..df2d858d 100644
--- a/cpp/.traces/integer-to-decimal-digit-positive
+++ b/cpp/.traces/integer-to-decimal-digit-positive
@@ -47,48 +47,48 @@ run/0: {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer"
 run/0: instruction init-buffer/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {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: 1030
+mem/0: new alloc: 1031
 run/0: instruction init-buffer/1
 run/0: {name: "result", value: 1, type: 2-9, properties: ["result": "address":"buffer"]} <- new {name: "buffer", value: 9, type: 0, properties: ["buffer": "type"]}
-mem/0: new alloc: 1060
-mem/0: storing 1060 in location 1032
+mem/0: new alloc: 1062
+mem/0: storing 1062 in location 1033
 run/0: instruction init-buffer/2
 run/0: {name: "len", value: 2, type: 2-1, properties: ["len": "address":"integer"]} <- get-address {name: "result", value: 1, type: 2-9, properties: ["result": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is result
-mem/0: location 1032 is 1060
+mem/0: location 1033 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1033
+run/0: address to copy is 1062
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1034
 run/0: instruction init-buffer/3
 run/0: {name: "len", value: 2, type: 2-1, properties: ["len": "address":"integer", "deref": ]} <- copy {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
 run/0: ingredient 0 is 0
-mem/0: location 1033 is 1060
-mem/0: storing 0 in location 1060
+mem/0: location 1034 is 1062
+mem/0: storing 0 in location 1062
 run/0: instruction init-buffer/4
 run/0: {name: "s", value: 3, type: 2-2-5-4, properties: ["s": "address":"address":"array":"character"]} <- get-address {name: "result", value: 1, type: 2-9, properties: ["result": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is result
-mem/0: location 1032 is 1060
+mem/0: location 1033 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
-run/0: product 0 is 1061
-mem/0: storing 1061 in location 1034
+run/0: address to copy is 1063
+run/0: product 0 is 1063
+mem/0: storing 1063 in location 1035
 run/0: instruction init-buffer/5
 run/0: {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]} <- next-ingredient 
 run/0: product 0 is 30
-mem/0: storing 30 in location 1035
+mem/0: storing 30 in location 1036
 run/0: instruction init-buffer/6
 run/0: {name: "s", value: 3, type: 2-2-5-4, properties: ["s": "address":"address":"array":"character", "deref": ]} <- new {name: "character", value: 4, type: 0, properties: ["character": "type"]}, {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]}
-mem/0: location 1035 is 30
+mem/0: location 1036 is 30
 mem/0: array size is 30
-mem/0: new alloc: 1062
-mem/0: location 1034 is 1061
-mem/0: storing 1062 in location 1061
+mem/0: new alloc: 1064
+mem/0: location 1035 is 1063
+mem/0: storing 1064 in location 1063
 run/0: instruction init-buffer/7
 run/0: reply {name: "result", value: 1, type: 2-9, properties: ["result": "address":"buffer"]}
-mem/0: location 1032 is 1060
-run/0: result 0 is 1060
-mem/0: storing 1060 in location 1006
+mem/0: location 1033 is 1062
+run/0: result 0 is 1062
+mem/0: storing 1062 in location 1006
 run/0: instruction integer-to-decimal-string/15
 run/0: {name: "digit-base", value: 6, type: 1, properties: ["digit-base": "integer"]} <- copy {name: "48", value: 48, type: 0, properties: ["48": "literal"]}
 run/0: ingredient 0 is 48
@@ -124,122 +124,122 @@ run/0: product 0 is 52
 mem/0: storing 52 in location 1010
 run/0: instruction integer-to-decimal-string/21
 run/0: {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer"]} <- buffer-append {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer"]}, {name: "c", value: 9, type: 4, properties: ["c": "character"]}
-mem/0: location 1006 is 1060
+mem/0: location 1006 is 1062
 mem/0: location 1010 is 52
 run/0: instruction buffer-append/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {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: 1092
+mem/0: new alloc: 1095
 run/0: instruction buffer-append/1
 run/0: {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]} <- next-ingredient 
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1094
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1097
 run/0: instruction buffer-append/2
 run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient 
 run/0: product 0 is 52
-mem/0: storing 52 in location 1095
+mem/0: storing 52 in location 1098
 run/0: instruction buffer-append/4
 run/0: {name: "full?", value: 3, type: 3, properties: ["full?": "boolean"]} <- buffer-full? {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]}
-mem/0: location 1094 is 1060
+mem/0: location 1097 is 1062
 run/0: instruction buffer-full?/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {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: 1122
+mem/0: new alloc: 1126
 run/0: instruction buffer-full?/1
 run/0: {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]} <- next-ingredient 
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1124
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1128
 run/0: instruction buffer-full?/2
 run/0: {name: "len", value: 2, type: 1, properties: ["len": "integer"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1124 is 1060
+mem/0: location 1128 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
+run/0: address to copy is 1062
 run/0: its type is 1
-mem/0: location 1060 is 0
+mem/0: location 1062 is 0
 run/0: product 0 is 0
-mem/0: storing 0 in location 1125
+mem/0: storing 0 in location 1129
 run/0: instruction buffer-full?/3
 run/0: {name: "s", value: 3, type: 2-5-4, properties: ["s": "address":"array":"character"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1124 is 1060
+mem/0: location 1128 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
+run/0: address to copy is 1063
 run/0: its type is 2
-mem/0: location 1061 is 1062
-run/0: product 0 is 1062
-mem/0: storing 1062 in location 1126
+mem/0: location 1063 is 1064
+run/0: product 0 is 1064
+mem/0: storing 1064 in location 1130
 run/0: instruction buffer-full?/4
 run/0: {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]} <- length {name: "s", value: 3, type: 2-5-4, properties: ["s": "address":"array":"character", "deref": ]}
-mem/0: location 1126 is 1062
-mem/0: storing 30 in location 1127
+mem/0: location 1130 is 1064
+mem/0: storing 30 in location 1131
 run/0: instruction buffer-full?/5
 run/0: {name: "result", value: 5, type: 3, properties: ["result": "boolean"]} <- greater-or-equal {name: "len", value: 2, type: 1, properties: ["len": "integer"]}, {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]}
 run/0: ingredient 0 is len
-mem/0: location 1125 is 0
+mem/0: location 1129 is 0
 run/0: ingredient 1 is capacity
-mem/0: location 1127 is 30
+mem/0: location 1131 is 30
 run/0: product 0 is 0
-mem/0: storing 0 in location 1128
+mem/0: storing 0 in location 1132
 run/0: instruction buffer-full?/6
 run/0: reply {name: "result", value: 5, type: 3, properties: ["result": "boolean"]}
-mem/0: location 1128 is 0
+mem/0: location 1132 is 0
 run/0: result 0 is 0
-mem/0: storing 0 in location 1096
+mem/0: storing 0 in location 1099
 run/0: instruction buffer-append/5
 run/0: break-unless {name: "full?", value: 3, type: 3, properties: ["full?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
-mem/0: location 1096 is 0
+mem/0: location 1099 is 0
 run/0: ingredient 0 is 0
 run/0: ingredient 1 is 
 run/0: jumping to instruction 7
 run/0: instruction buffer-append/8
 run/0: {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer"]} <- get-address {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1094 is 1060
+mem/0: location 1097 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1097
+run/0: address to copy is 1062
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1100
 run/0: instruction buffer-append/9
 run/0: {name: "s", value: 5, type: 2-5-4, properties: ["s": "address":"array":"character"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1094 is 1060
+mem/0: location 1097 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
+run/0: address to copy is 1063
 run/0: its type is 2
-mem/0: location 1061 is 1062
-run/0: product 0 is 1062
-mem/0: storing 1062 in location 1098
+mem/0: location 1063 is 1064
+run/0: product 0 is 1064
+mem/0: storing 1064 in location 1101
 run/0: instruction buffer-append/10
 run/0: {name: "dest", value: 6, type: 2-4, properties: ["dest": "address":"character"]} <- index-address {name: "s", value: 5, type: 2-5-4, properties: ["s": "address":"array":"character", "deref": ]}, {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}
 run/0: ingredient 0 is s
-mem/0: location 1098 is 1062
+mem/0: location 1101 is 1064
 run/0: ingredient 1 is {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}
-mem/0: location 1097 is 1060
-mem/0: location 1060 is 0
-run/0: address to copy is 1063
-run/0: product 0 is 1063
-mem/0: storing 1063 in location 1099
+mem/0: location 1100 is 1062
+mem/0: location 1062 is 0
+run/0: address to copy is 1065
+run/0: product 0 is 1065
+mem/0: storing 1065 in location 1102
 run/0: instruction buffer-append/11
 run/0: {name: "dest", value: 6, type: 2-4, properties: ["dest": "address":"character", "deref": ]} <- copy {name: "c", value: 2, type: 4, properties: ["c": "character"]}
 run/0: ingredient 0 is c
-mem/0: location 1095 is 52
-mem/0: location 1099 is 1063
-mem/0: storing 52 in location 1063
+mem/0: location 1098 is 52
+mem/0: location 1102 is 1065
+mem/0: storing 52 in location 1065
 run/0: instruction buffer-append/12
 run/0: {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]} <- add {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is len
-mem/0: location 1097 is 1060
-mem/0: location 1060 is 0
+mem/0: location 1100 is 1062
+mem/0: location 1062 is 0
 run/0: ingredient 1 is 1
 run/0: product 0 is 1
-mem/0: location 1097 is 1060
-mem/0: storing 1 in location 1060
+mem/0: location 1100 is 1062
+mem/0: storing 1 in location 1062
 run/0: instruction buffer-append/13
 run/0: reply {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "same-as-ingredient": "0"]}
-mem/0: location 1094 is 1060
-run/0: result 0 is 1060
-mem/0: storing 1060 in location 1006
+mem/0: location 1097 is 1062
+run/0: result 0 is 1062
+mem/0: storing 1062 in location 1006
 run/0: instruction integer-to-decimal-string/22
 run/0: loop {name: "", value: -6, type: , properties: ["": ]}
 run/0: ingredient 0 is -6
@@ -275,122 +275,122 @@ run/0: product 0 is 51
 mem/0: storing 51 in location 1010
 run/0: instruction integer-to-decimal-string/21
 run/0: {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer"]} <- buffer-append {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer"]}, {name: "c", value: 9, type: 4, properties: ["c": "character"]}
-mem/0: location 1006 is 1060
+mem/0: location 1006 is 1062
 mem/0: location 1010 is 51
 run/0: instruction buffer-append/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {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: 1152
+mem/0: new alloc: 1157
 run/0: instruction buffer-append/1
 run/0: {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]} <- next-ingredient 
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1154
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1159
 run/0: instruction buffer-append/2
 run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient 
 run/0: product 0 is 51
-mem/0: storing 51 in location 1155
+mem/0: storing 51 in location 1160
 run/0: instruction buffer-append/4
 run/0: {name: "full?", value: 3, type: 3, properties: ["full?": "boolean"]} <- buffer-full? {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]}
-mem/0: location 1154 is 1060
+mem/0: location 1159 is 1062
 run/0: instruction buffer-full?/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {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: 1182
+mem/0: new alloc: 1188
 run/0: instruction buffer-full?/1
 run/0: {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]} <- next-ingredient 
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1184
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1190
 run/0: instruction buffer-full?/2
 run/0: {name: "len", value: 2, type: 1, properties: ["len": "integer"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1184 is 1060
+mem/0: location 1190 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
+run/0: address to copy is 1062
 run/0: its type is 1
-mem/0: location 1060 is 1
+mem/0: location 1062 is 1
 run/0: product 0 is 1
-mem/0: storing 1 in location 1185
+mem/0: storing 1 in location 1191
 run/0: instruction buffer-full?/3
 run/0: {name: "s", value: 3, type: 2-5-4, properties: ["s": "address":"array":"character"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1184 is 1060
+mem/0: location 1190 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
+run/0: address to copy is 1063
 run/0: its type is 2
-mem/0: location 1061 is 1062
-run/0: product 0 is 1062
-mem/0: storing 1062 in location 1186
+mem/0: location 1063 is 1064
+run/0: product 0 is 1064
+mem/0: storing 1064 in location 1192
 run/0: instruction buffer-full?/4
 run/0: {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]} <- length {name: "s", value: 3, type: 2-5-4, properties: ["s": "address":"array":"character", "deref": ]}
-mem/0: location 1186 is 1062
-mem/0: storing 30 in location 1187
+mem/0: location 1192 is 1064
+mem/0: storing 30 in location 1193
 run/0: instruction buffer-full?/5
 run/0: {name: "result", value: 5, type: 3, properties: ["result": "boolean"]} <- greater-or-equal {name: "len", value: 2, type: 1, properties: ["len": "integer"]}, {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]}
 run/0: ingredient 0 is len
-mem/0: location 1185 is 1
+mem/0: location 1191 is 1
 run/0: ingredient 1 is capacity
-mem/0: location 1187 is 30
+mem/0: location 1193 is 30
 run/0: product 0 is 0
-mem/0: storing 0 in location 1188
+mem/0: storing 0 in location 1194
 run/0: instruction buffer-full?/6
 run/0: reply {name: "result", value: 5, type: 3, properties: ["result": "boolean"]}
-mem/0: location 1188 is 0
+mem/0: location 1194 is 0
 run/0: result 0 is 0
-mem/0: storing 0 in location 1156
+mem/0: storing 0 in location 1161
 run/0: instruction buffer-append/5
 run/0: break-unless {name: "full?", value: 3, type: 3, properties: ["full?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
-mem/0: location 1156 is 0
+mem/0: location 1161 is 0
 run/0: ingredient 0 is 0
 run/0: ingredient 1 is 
 run/0: jumping to instruction 7
 run/0: instruction buffer-append/8
 run/0: {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer"]} <- get-address {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1154 is 1060
+mem/0: location 1159 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1157
+run/0: address to copy is 1062
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1162
 run/0: instruction buffer-append/9
 run/0: {name: "s", value: 5, type: 2-5-4, properties: ["s": "address":"array":"character"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1154 is 1060
+mem/0: location 1159 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
+run/0: address to copy is 1063
 run/0: its type is 2
-mem/0: location 1061 is 1062
-run/0: product 0 is 1062
-mem/0: storing 1062 in location 1158
+mem/0: location 1063 is 1064
+run/0: product 0 is 1064
+mem/0: storing 1064 in location 1163
 run/0: instruction buffer-append/10
 run/0: {name: "dest", value: 6, type: 2-4, properties: ["dest": "address":"character"]} <- index-address {name: "s", value: 5, type: 2-5-4, properties: ["s": "address":"array":"character", "deref": ]}, {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}
 run/0: ingredient 0 is s
-mem/0: location 1158 is 1062
+mem/0: location 1163 is 1064
 run/0: ingredient 1 is {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}
-mem/0: location 1157 is 1060
-mem/0: location 1060 is 1
-run/0: address to copy is 1064
-run/0: product 0 is 1064
-mem/0: storing 1064 in location 1159
+mem/0: location 1162 is 1062
+mem/0: location 1062 is 1
+run/0: address to copy is 1066
+run/0: product 0 is 1066
+mem/0: storing 1066 in location 1164
 run/0: instruction buffer-append/11
 run/0: {name: "dest", value: 6, type: 2-4, properties: ["dest": "address":"character", "deref": ]} <- copy {name: "c", value: 2, type: 4, properties: ["c": "character"]}
 run/0: ingredient 0 is c
-mem/0: location 1155 is 51
-mem/0: location 1159 is 1064
-mem/0: storing 51 in location 1064
+mem/0: location 1160 is 51
+mem/0: location 1164 is 1066
+mem/0: storing 51 in location 1066
 run/0: instruction buffer-append/12
 run/0: {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]} <- add {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is len
-mem/0: location 1157 is 1060
-mem/0: location 1060 is 1
+mem/0: location 1162 is 1062
+mem/0: location 1062 is 1
 run/0: ingredient 1 is 1
 run/0: product 0 is 2
-mem/0: location 1157 is 1060
-mem/0: storing 2 in location 1060
+mem/0: location 1162 is 1062
+mem/0: storing 2 in location 1062
 run/0: instruction buffer-append/13
 run/0: reply {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "same-as-ingredient": "0"]}
-mem/0: location 1154 is 1060
-run/0: result 0 is 1060
-mem/0: storing 1060 in location 1006
+mem/0: location 1159 is 1062
+run/0: result 0 is 1062
+mem/0: storing 1062 in location 1006
 run/0: instruction integer-to-decimal-string/22
 run/0: loop {name: "", value: -6, type: , properties: ["": ]}
 run/0: ingredient 0 is -6
@@ -426,122 +426,122 @@ run/0: product 0 is 50
 mem/0: storing 50 in location 1010
 run/0: instruction integer-to-decimal-string/21
 run/0: {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer"]} <- buffer-append {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer"]}, {name: "c", value: 9, type: 4, properties: ["c": "character"]}
-mem/0: location 1006 is 1060
+mem/0: location 1006 is 1062
 mem/0: location 1010 is 50
 run/0: instruction buffer-append/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {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: 1212
+mem/0: new alloc: 1219
 run/0: instruction buffer-append/1
 run/0: {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]} <- next-ingredient 
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1214
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1221
 run/0: instruction buffer-append/2
 run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient 
 run/0: product 0 is 50
-mem/0: storing 50 in location 1215
+mem/0: storing 50 in location 1222
 run/0: instruction buffer-append/4
 run/0: {name: "full?", value: 3, type: 3, properties: ["full?": "boolean"]} <- buffer-full? {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]}
-mem/0: location 1214 is 1060
+mem/0: location 1221 is 1062
 run/0: instruction buffer-full?/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {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: 1242
+mem/0: new alloc: 1250
 run/0: instruction buffer-full?/1
 run/0: {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer"]} <- next-ingredient 
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1244
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1252
 run/0: instruction buffer-full?/2
 run/0: {name: "len", value: 2, type: 1, properties: ["len": "integer"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1244 is 1060
+mem/0: location 1252 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
+run/0: address to copy is 1062
 run/0: its type is 1
-mem/0: location 1060 is 2
+mem/0: location 1062 is 2
 run/0: product 0 is 2
-mem/0: storing 2 in location 1245
+mem/0: storing 2 in location 1253
 run/0: instruction buffer-full?/3
 run/0: {name: "s", value: 3, type: 2-5-4, properties: ["s": "address":"array":"character"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1244 is 1060
+mem/0: location 1252 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
+run/0: address to copy is 1063
 run/0: its type is 2
-mem/0: location 1061 is 1062
-run/0: product 0 is 1062
-mem/0: storing 1062 in location 1246
+mem/0: location 1063 is 1064
+run/0: product 0 is 1064
+mem/0: storing 1064 in location 1254
 run/0: instruction buffer-full?/4
 run/0: {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]} <- length {name: "s", value: 3, type: 2-5-4, properties: ["s": "address":"array":"character", "deref": ]}
-mem/0: location 1246 is 1062
-mem/0: storing 30 in location 1247
+mem/0: location 1254 is 1064
+mem/0: storing 30 in location 1255
 run/0: instruction buffer-full?/5
 run/0: {name: "result", value: 5, type: 3, properties: ["result": "boolean"]} <- greater-or-equal {name: "len", value: 2, type: 1, properties: ["len": "integer"]}, {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]}
 run/0: ingredient 0 is len
-mem/0: location 1245 is 2
+mem/0: location 1253 is 2
 run/0: ingredient 1 is capacity
-mem/0: location 1247 is 30
+mem/0: location 1255 is 30
 run/0: product 0 is 0
-mem/0: storing 0 in location 1248
+mem/0: storing 0 in location 1256
 run/0: instruction buffer-full?/6
 run/0: reply {name: "result", value: 5, type: 3, properties: ["result": "boolean"]}
-mem/0: location 1248 is 0
+mem/0: location 1256 is 0
 run/0: result 0 is 0
-mem/0: storing 0 in location 1216
+mem/0: storing 0 in location 1223
 run/0: instruction buffer-append/5
 run/0: break-unless {name: "full?", value: 3, type: 3, properties: ["full?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
-mem/0: location 1216 is 0
+mem/0: location 1223 is 0
 run/0: ingredient 0 is 0
 run/0: ingredient 1 is 
 run/0: jumping to instruction 7
 run/0: instruction buffer-append/8
 run/0: {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer"]} <- get-address {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1214 is 1060
+mem/0: location 1221 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
-run/0: product 0 is 1060
-mem/0: storing 1060 in location 1217
+run/0: address to copy is 1062
+run/0: product 0 is 1062
+mem/0: storing 1062 in location 1224
 run/0: instruction buffer-append/9
 run/0: {name: "s", value: 5, type: 2-5-4, properties: ["s": "address":"array":"character"]} <- get {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is in
-mem/0: location 1214 is 1060
+mem/0: location 1221 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
+run/0: address to copy is 1063
 run/0: its type is 2
-mem/0: location 1061 is 1062
-run/0: product 0 is 1062
-mem/0: storing 1062 in location 1218
+mem/0: location 1063 is 1064
+run/0: product 0 is 1064
+mem/0: storing 1064 in location 1225
 run/0: instruction buffer-append/10
 run/0: {name: "dest", value: 6, type: 2-4, properties: ["dest": "address":"character"]} <- index-address {name: "s", value: 5, type: 2-5-4, properties: ["s": "address":"array":"character", "deref": ]}, {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}
 run/0: ingredient 0 is s
-mem/0: location 1218 is 1062
+mem/0: location 1225 is 1064
 run/0: ingredient 1 is {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}
-mem/0: location 1217 is 1060
-mem/0: location 1060 is 2
-run/0: address to copy is 1065
-run/0: product 0 is 1065
-mem/0: storing 1065 in location 1219
+mem/0: location 1224 is 1062
+mem/0: location 1062 is 2
+run/0: address to copy is 1067
+run/0: product 0 is 1067
+mem/0: storing 1067 in location 1226
 run/0: instruction buffer-append/11
 run/0: {name: "dest", value: 6, type: 2-4, properties: ["dest": "address":"character", "deref": ]} <- copy {name: "c", value: 2, type: 4, properties: ["c": "character"]}
 run/0: ingredient 0 is c
-mem/0: location 1215 is 50
-mem/0: location 1219 is 1065
-mem/0: storing 50 in location 1065
+mem/0: location 1222 is 50
+mem/0: location 1226 is 1067
+mem/0: storing 50 in location 1067
 run/0: instruction buffer-append/12
 run/0: {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]} <- add {name: "len", value: 4, type: 2-1, properties: ["len": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is len
-mem/0: location 1217 is 1060
-mem/0: location 1060 is 2
+mem/0: location 1224 is 1062
+mem/0: location 1062 is 2
 run/0: ingredient 1 is 1
 run/0: product 0 is 3
-mem/0: location 1217 is 1060
-mem/0: storing 3 in location 1060
+mem/0: location 1224 is 1062
+mem/0: storing 3 in location 1062
 run/0: instruction buffer-append/13
 run/0: reply {name: "in", value: 1, type: 2-9, properties: ["in": "address":"buffer", "same-as-ingredient": "0"]}
-mem/0: location 1214 is 1060
-run/0: result 0 is 1060
-mem/0: storing 1060 in location 1006
+mem/0: location 1221 is 1062
+run/0: result 0 is 1062
+mem/0: storing 1062 in location 1006
 run/0: instruction integer-to-decimal-string/22
 run/0: loop {name: "", value: -6, type: , properties: ["": ]}
 run/0: ingredient 0 is -6
@@ -568,29 +568,29 @@ run/0: jumping to instruction 27
 run/0: instruction integer-to-decimal-string/28
 run/0: {name: "len", value: 10, type: 1, properties: ["len": "integer"]} <- get {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer", "deref": ]}, {name: "length", value: 0, type: 0, properties: ["length": "offset"]}
 run/0: ingredient 0 is tmp
-mem/0: location 1006 is 1060
+mem/0: location 1006 is 1062
 run/0: ingredient 1 is length
-run/0: address to copy is 1060
+run/0: address to copy is 1062
 run/0: its type is 1
-mem/0: location 1060 is 3
+mem/0: location 1062 is 3
 run/0: product 0 is 3
 mem/0: storing 3 in location 1011
 run/0: instruction integer-to-decimal-string/29
 run/0: {name: "buf", value: 11, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get {name: "tmp", value: 5, type: 2-9, properties: ["tmp": "address":"buffer", "deref": ]}, {name: "data", value: 1, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is tmp
-mem/0: location 1006 is 1060
+mem/0: location 1006 is 1062
 run/0: ingredient 1 is data
-run/0: address to copy is 1061
+run/0: address to copy is 1063
 run/0: its type is 2
-mem/0: location 1061 is 1062
-run/0: product 0 is 1062
-mem/0: storing 1062 in location 1012
+mem/0: location 1063 is 1064
+run/0: product 0 is 1064
+mem/0: storing 1064 in location 1012
 run/0: instruction integer-to-decimal-string/30
 run/0: {name: "result", value: 2, type: 2-5-4, properties: ["result": "address":"array":"character"]} <- new {name: "character", value: 4, type: 0, properties: ["character": "type"]}, {name: "len", value: 10, type: 1, properties: ["len": "integer"]}
 mem/0: location 1011 is 3
 mem/0: array size is 3
-mem/0: new alloc: 1272
-mem/0: storing 1272 in location 1003
+mem/0: new alloc: 1281
+mem/0: storing 1281 in location 1003
 run/0: instruction integer-to-decimal-string/31
 run/0: {name: "i", value: 12, type: 1, properties: ["i": "integer"]} <- subtract {name: "len", value: 10, type: 1, properties: ["len": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is len
@@ -617,29 +617,29 @@ run/0: jump-if fell through
 run/0: instruction integer-to-decimal-string/36
 run/0: {name: "src", value: 14, type: 4, properties: ["src": "character"]} <- index {name: "buf", value: 11, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 12, type: 1, properties: ["i": "integer"]}
 run/0: ingredient 0 is {name: "buf", value: 11, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}
-mem/0: location 1012 is 1062
+mem/0: location 1012 is 1064
 run/0: ingredient 1 is {name: "i", value: 12, type: 1, properties: ["i": "integer"]}
 mem/0: location 1013 is 2
-run/0: address to copy is 1065
+run/0: address to copy is 1067
 run/0: its type is 4
-mem/0: location 1065 is 50
+mem/0: location 1067 is 50
 run/0: product 0 is 50
 mem/0: storing 50 in location 1015
 run/0: instruction integer-to-decimal-string/37
 run/0: {name: "dest", value: 15, type: 2-4, properties: ["dest": "address":"character"]} <- index-address {name: "result", value: 2, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "j", value: 13, type: 1, properties: ["j": "integer"]}
 run/0: ingredient 0 is result
-mem/0: location 1003 is 1272
+mem/0: location 1003 is 1281
 run/0: ingredient 1 is {name: "j", value: 13, type: 1, properties: ["j": "integer"]}
 mem/0: location 1014 is 0
-run/0: address to copy is 1273
-run/0: product 0 is 1273
-mem/0: storing 1273 in location 1016
+run/0: address to copy is 1282
+run/0: product 0 is 1282
+mem/0: storing 1282 in location 1016
 run/0: instruction integer-to-decimal-string/38
 run/0: {name: "dest", value: 15, type: 2-4, properties: ["dest": "address":"character", "deref": ]} <- copy {name: "src", value: 14, type: 4, properties: ["src": "character"]}
 run/0: ingredient 0 is src
 mem/0: location 1015 is 50
-mem/0: location 1016 is 1273
-mem/0: storing 50 in location 1273
+mem/0: location 1016 is 1282
+mem/0: storing 50 in location 1282
 run/0: instruction integer-to-decimal-string/39
 run/0: {name: "i", value: 12, type: 1, properties: ["i": "integer"]} <- subtract {name: "i", value: 12, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is i
@@ -673,29 +673,29 @@ run/0: jump-if fell through
 run/0: instruction integer-to-decimal-string/36
 run/0: {name: "src", value: 14, type: 4, properties: ["src": "character"]} <- index {name: "buf", value: 11, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 12, type: 1, properties: ["i": "integer"]}
 run/0: ingredient 0 is {name: "buf", value: 11, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}
-mem/0: location 1012 is 1062
+mem/0: location 1012 is 1064
 run/0: ingredient 1 is {name: "i", value: 12, type: 1, properties: ["i": "integer"]}
 mem/0: location 1013 is 1
-run/0: address to copy is 1064
+run/0: address to copy is 1066
 run/0: its type is 4
-mem/0: location 1064 is 51
+mem/0: location 1066 is 51
 run/0: product 0 is 51
 mem/0: storing 51 in location 1015
 run/0: instruction integer-to-decimal-string/37
 run/0: {name: "dest", value: 15, type: 2-4, properties: ["dest": "address":"character"]} <- index-address {name: "result", value: 2, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "j", value: 13, type: 1, properties: ["j": "integer"]}
 run/0: ingredient 0 is result
-mem/0: location 1003 is 1272
+mem/0: location 1003 is 1281
 run/0: ingredient 1 is {name: "j", value: 13, type: 1, properties: ["j": "integer"]}
 mem/0: location 1014 is 1
-run/0: address to copy is 1274
-run/0: product 0 is 1274
-mem/0: storing 1274 in location 1016
+run/0: address to copy is 1283
+run/0: product 0 is 1283
+mem/0: storing 1283 in location 1016
 run/0: instruction integer-to-decimal-string/38
 run/0: {name: "dest", value: 15, type: 2-4, properties: ["dest": "address":"character", "deref": ]} <- copy {name: "src", value: 14, type: 4, properties: ["src": "character"]}
 run/0: ingredient 0 is src
 mem/0: location 1015 is 51
-mem/0: location 1016 is 1274
-mem/0: storing 51 in location 1274
+mem/0: location 1016 is 1283
+mem/0: storing 51 in location 1283
 run/0: instruction integer-to-decimal-string/39
 run/0: {name: "i", value: 12, type: 1, properties: ["i": "integer"]} <- subtract {name: "i", value: 12, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is i
@@ -729,29 +729,29 @@ run/0: jump-if fell through
 run/0: instruction integer-to-decimal-string/36
 run/0: {name: "src", value: 14, type: 4, properties: ["src": "character"]} <- index {name: "buf", value: 11, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 12, type: 1, properties: ["i": "integer"]}
 run/0: ingredient 0 is {name: "buf", value: 11, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}
-mem/0: location 1012 is 1062
+mem/0: location 1012 is 1064
 run/0: ingredient 1 is {name: "i", value: 12, type: 1, properties: ["i": "integer"]}
 mem/0: location 1013 is 0
-run/0: address to copy is 1063
+run/0: address to copy is 1065
 run/0: its type is 4
-mem/0: location 1063 is 52
+mem/0: location 1065 is 52
 run/0: product 0 is 52
 mem/0: storing 52 in location 1015
 run/0: instruction integer-to-decimal-string/37
 run/0: {name: "dest", value: 15, type: 2-4, properties: ["dest": "address":"character"]} <- index-address {name: "result", value: 2, type: 2-5-4, properties: ["result": "address":"array":"character", "deref": ]}, {name: "j", value: 13, type: 1, properties: ["j": "integer"]}
 run/0: ingredient 0 is result
-mem/0: location 1003 is 1272
+mem/0: location 1003 is 1281
 run/0: ingredient 1 is {name: "j", value: 13, type: 1, properties: ["j": "integer"]}
 mem/0: location 1014 is 2
-run/0: address to copy is 1275
-run/0: product 0 is 1275
-mem/0: storing 1275 in location 1016
+run/0: address to copy is 1284
+run/0: product 0 is 1284
+mem/0: storing 1284 in location 1016
 run/0: instruction integer-to-decimal-string/38
 run/0: {name: "dest", value: 15, type: 2-4, properties: ["dest": "address":"character", "deref": ]} <- copy {name: "src", value: 14, type: 4, properties: ["src": "character"]}
 run/0: ingredient 0 is src
 mem/0: location 1015 is 52
-mem/0: location 1016 is 1275
-mem/0: storing 52 in location 1275
+mem/0: location 1016 is 1284
+mem/0: storing 52 in location 1284
 run/0: instruction integer-to-decimal-string/39
 run/0: {name: "i", value: 12, type: 1, properties: ["i": "integer"]} <- subtract {name: "i", value: 12, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is i
@@ -785,17 +785,17 @@ run/0: ingredient 1 is
 run/0: jumping to instruction 42
 run/0: instruction integer-to-decimal-string/43
 run/0: reply {name: "result", value: 2, type: 2-5-4, properties: ["result": "address":"array":"character"]}
-mem/0: location 1003 is 1272
-run/0: result 0 is 1272
-mem/0: storing 1272 in location 1
+mem/0: location 1003 is 1281
+run/0: result 0 is 1281
+mem/0: storing 1281 in location 1
 run/0: instruction test-integer-to-decimal-digit-positive/1
 run/0: {name: "2", value: 2, type: 5-4, properties: ["2": "array":"character", "raw": ]} <- copy {name: "1", value: 1, type: 2-5-4, properties: ["1": "address":"array":"character", "deref": , "raw": ]}
 run/0: ingredient 0 is 1
-mem/0: location 1 is 1272
-mem/0: location 1272 is 3
-mem/0: location 1273 is 50
-mem/0: location 1274 is 51
-mem/0: location 1275 is 52
+mem/0: location 1 is 1281
+mem/0: location 1281 is 3
+mem/0: location 1282 is 50
+mem/0: location 1283 is 51
+mem/0: location 1284 is 52
 mem/0: storing 3 in location 2
 mem/0: storing 50 in location 3
 mem/0: storing 51 in location 4