1 files changed, 30 insertions, 30 deletions
diff --git a/cpp/.traces/channel-initialization b/cpp/.traces/channel-initialization
index 1fca38e2..e04b4594 100644
--- a/cpp/.traces/channel-initialization
+++ b/cpp/.traces/channel-initialization
@@ -25,34 +25,34 @@ mem/0: array size is 30
 mem/0: new alloc: 1000
 run/0: instruction init-channel/1
 run/0: {name: "result", value: 1, type: 2-10, properties: ["result": "address":"channel"]} <- new {name: "channel", value: 10, type: 0, properties: ["channel": "type"]}
-mem/0: new alloc: 1030
-mem/0: storing 1030 in location 1002
+mem/0: new alloc: 1031
+mem/0: storing 1031 in location 1002
 run/0: instruction init-channel/2
 run/0: {name: "full", value: 2, type: 2-1, properties: ["full": "address":"integer"]} <- get-address {name: "result", value: 1, type: 2-10, properties: ["result": "address":"channel", "deref": ]}, {name: "first-full", value: 0, type: 0, properties: ["first-full": "offset"]}
 run/0: ingredient 0 is result
-mem/0: location 1002 is 1030
+mem/0: location 1002 is 1031
 run/0: ingredient 1 is first-full
-run/0: address to copy is 1030
-run/0: product 0 is 1030
-mem/0: storing 1030 in location 1003
+run/0: address to copy is 1031
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1003
 run/0: instruction init-channel/3
 run/0: {name: "full", value: 2, type: 2-1, properties: ["full": "address":"integer", "deref": ]} <- copy {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
 run/0: ingredient 0 is 0
-mem/0: location 1003 is 1030
-mem/0: storing 0 in location 1030
+mem/0: location 1003 is 1031
+mem/0: storing 0 in location 1031
 run/0: instruction init-channel/4
 run/0: {name: "free", value: 3, type: 2-1, properties: ["free": "address":"integer"]} <- get-address {name: "result", value: 1, type: 2-10, properties: ["result": "address":"channel", "deref": ]}, {name: "first-free", value: 1, type: 0, properties: ["first-free": "offset"]}
 run/0: ingredient 0 is result
-mem/0: location 1002 is 1030
+mem/0: location 1002 is 1031
 run/0: ingredient 1 is first-free
-run/0: address to copy is 1031
-run/0: product 0 is 1031
-mem/0: storing 1031 in location 1004
+run/0: address to copy is 1032
+run/0: product 0 is 1032
+mem/0: storing 1032 in location 1004
 run/0: instruction init-channel/5
 run/0: {name: "free", value: 3, type: 2-1, properties: ["free": "address":"integer", "deref": ]} <- copy {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
 run/0: ingredient 0 is 0
-mem/0: location 1004 is 1031
-mem/0: storing 0 in location 1031
+mem/0: location 1004 is 1032
+mem/0: storing 0 in location 1032
 run/0: instruction init-channel/6
 run/0: {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]} <- next-ingredient 
 run/0: product 0 is 3
@@ -67,40 +67,40 @@ mem/0: storing 4 in location 1005
 run/0: instruction init-channel/8
 run/0: {name: "dest", value: 5, type: 2-2-5-1, properties: ["dest": "address":"address":"array":"location"]} <- get-address {name: "result", value: 1, type: 2-10, properties: ["result": "address":"channel", "deref": ]}, {name: "data", value: 2, type: 0, properties: ["data": "offset"]}
 run/0: ingredient 0 is result
-mem/0: location 1002 is 1030
+mem/0: location 1002 is 1031
 run/0: ingredient 1 is data
-run/0: address to copy is 1032
-run/0: product 0 is 1032
-mem/0: storing 1032 in location 1006
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1006
 run/0: instruction init-channel/9
 run/0: {name: "dest", value: 5, type: 2-2-5-1, properties: ["dest": "address":"address":"array":"location", "deref": ]} <- new {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "capacity", value: 4, type: 1, properties: ["capacity": "integer"]}
 mem/0: location 1005 is 4
 mem/0: array size is 4
-mem/0: new alloc: 1033
-mem/0: location 1006 is 1032
-mem/0: storing 1033 in location 1032
+mem/0: new alloc: 1034
+mem/0: location 1006 is 1033
+mem/0: storing 1034 in location 1033
 run/0: instruction init-channel/10
 run/0: reply {name: "result", value: 1, type: 2-10, properties: ["result": "address":"channel"]}
-mem/0: location 1002 is 1030
-run/0: result 0 is 1030
-mem/0: storing 1030 in location 1
+mem/0: location 1002 is 1031
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 1
 run/0: instruction test-channel-initialization/1
 run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer"]} <- get {name: "1", value: 1, type: 2-10, properties: ["1": "address":"channel", "deref": ]}, {name: "first-full", value: 0, type: 0, properties: ["first-full": "offset"]}
 run/0: ingredient 0 is 1
-mem/0: location 1 is 1030
+mem/0: location 1 is 1031
 run/0: ingredient 1 is first-full
-run/0: address to copy is 1030
+run/0: address to copy is 1031
 run/0: its type is 1
-mem/0: location 1030 is 0
+mem/0: location 1031 is 0
 run/0: product 0 is 0
 mem/0: storing 0 in location 2
 run/0: instruction test-channel-initialization/2
 run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer"]} <- get {name: "1", value: 1, type: 2-10, properties: ["1": "address":"channel", "deref": ]}, {name: "first-free", value: 1, type: 0, properties: ["first-free": "offset"]}
 run/0: ingredient 0 is 1
-mem/0: location 1 is 1030
+mem/0: location 1 is 1031
 run/0: ingredient 1 is first-free
-run/0: address to copy is 1031
+run/0: address to copy is 1032
 run/0: its type is 1
-mem/0: location 1031 is 0
+mem/0: location 1032 is 0
 run/0: product 0 is 0
 mem/0: storing 0 in location 3