1 files changed, 21 insertions, 21 deletions
diff --git a/cpp/.traces/closure b/cpp/.traces/closure
index eea62ad0..de197db2 100644
--- a/cpp/.traces/closure
+++ b/cpp/.traces/closure
@@ -71,70 +71,70 @@ run/0: {name: "1", value: 1, type: 2-5-1, properties: ["1": "address":"array":"l
 run/0: instruction init-counter/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-counter/1
 run/0: {name: "x", value: 1, type: 1, properties: ["x": "integer"]} <- copy {name: "23", value: 23, type: 0, properties: ["23": "literal"]}
 run/0: ingredient 0 is 23
-mem/0: storing 23 in location 1032
+mem/0: storing 23 in location 1033
 run/0: instruction init-counter/2
 run/0: {name: "y", value: 2, type: 1, properties: ["y": "integer"]} <- copy {name: "3", value: 3, type: 0, properties: ["3": "literal"]}
 run/0: ingredient 0 is 3
-mem/0: storing 3 in location 1033
+mem/0: storing 3 in location 1034
 run/0: instruction init-counter/3
 run/0: reply {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]}
-run/0: result 0 is 1030
-mem/0: storing 1030 in location 1002
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 1002
 run/0: instruction main/2
 run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer", "raw": ]} <- increment-counter {name: "1", value: 1, type: 2-5-1, properties: ["1": "address":"array":"location", "names": "init-counter"]}
-mem/0: location 1002 is 1030
+mem/0: location 1002 is 1031
 run/0: instruction increment-counter/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {name: "space", value: 0, type: 0, properties: ["space": "literal"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]}
 mem/0: array size is 30
-mem/0: new alloc: 1060
+mem/0: new alloc: 1062
 run/0: instruction increment-counter/1
 run/0: {name: "0", value: 0, type: 2-5-1, properties: ["0": "address":"array":"location", "names": "init-counter"]} <- next-ingredient 
-run/0: product 0 is 1030
-mem/0: storing 1030 in location 1061
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1063
 run/0: instruction increment-counter/2
 run/0: {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]} <- add {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is y
-mem/0: location 1033 is 3
+mem/0: location 1034 is 3
 run/0: ingredient 1 is 1
 run/0: product 0 is 4
-mem/0: storing 4 in location 1033
+mem/0: storing 4 in location 1034
 run/0: instruction increment-counter/3
 run/0: {name: "y", value: 1, type: 1, properties: ["y": "integer"]} <- copy {name: "234", value: 234, type: 0, properties: ["234": "literal"]}
 run/0: ingredient 0 is 234
-mem/0: storing 234 in location 1062
+mem/0: storing 234 in location 1064
 run/0: instruction increment-counter/4
 run/0: reply {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}
-mem/0: location 1033 is 4
+mem/0: location 1034 is 4
 run/0: result 0 is 4
 mem/0: storing 4 in location 2
 run/0: instruction main/3
 run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer", "raw": ]} <- increment-counter {name: "1", value: 1, type: 2-5-1, properties: ["1": "address":"array":"location", "names": "init-counter"]}
-mem/0: location 1002 is 1030
+mem/0: location 1002 is 1031
 run/0: instruction increment-counter/0
 run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {name: "space", value: 0, type: 0, properties: ["space": "literal"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]}
 mem/0: array size is 30
-mem/0: new alloc: 1090
+mem/0: new alloc: 1093
 run/0: instruction increment-counter/1
 run/0: {name: "0", value: 0, type: 2-5-1, properties: ["0": "address":"array":"location", "names": "init-counter"]} <- next-ingredient 
-run/0: product 0 is 1030
-mem/0: storing 1030 in location 1091
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1094
 run/0: instruction increment-counter/2
 run/0: {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]} <- add {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is y
-mem/0: location 1033 is 4
+mem/0: location 1034 is 4
 run/0: ingredient 1 is 1
 run/0: product 0 is 5
-mem/0: storing 5 in location 1033
+mem/0: storing 5 in location 1034
 run/0: instruction increment-counter/3
 run/0: {name: "y", value: 1, type: 1, properties: ["y": "integer"]} <- copy {name: "234", value: 234, type: 0, properties: ["234": "literal"]}
 run/0: ingredient 0 is 234
-mem/0: storing 234 in location 1092
+mem/0: storing 234 in location 1095
 run/0: instruction increment-counter/4
 run/0: reply {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}
-mem/0: location 1033 is 5
+mem/0: location 1034 is 5
 run/0: result 0 is 5
 mem/0: storing 5 in location 3