1250

3 files changed, 2287 insertions, 0 deletions

diff --git a/cpp/.traces/clear-line-erases-printed-characters2 b/cpp/.traces/clear-line-erases-printed-characters2
new file mode 100644
index 00000000..8c44d490
--- /dev/null
+++ b/cpp/.traces/clear-line-erases-printed-characters2
@@ -0,0 +1,1718 @@
+parse/0: instruction: assume-screen
+parse/0:   ingredient: {name: "5", value: 0, type: 0, properties: ["5": "literal", "width": ]}
+parse/0:   ingredient: {name: "3", value: 0, type: 0, properties: ["3": "literal", "height": ]}
+parse/0: instruction: run
+parse/0:   ingredient: {name: "
+    # print a character
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+    # move cursor to start of line
+    screen:address <- move-cursor screen:address, 0:literal/row, 0:literal/column
+    # clear line
+    screen:address <- clear-line screen:address
+  ", value: 0, type: 0, properties: ["
+    # print a character
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+    # move cursor to start of line
+    screen:address <- move-cursor screen:address, 0:literal/row, 0:literal/column
+    # clear line
+    screen:address <- clear-line screen:address
+  ": "literal-string"]}
+parse/0: instruction: screen-should-contain
+parse/0:   ingredient: {name: "
+    .     .
+    .     .
+    .     .
+  ", value: 0, type: 0, properties: ["
+    .     .
+    .     .
+    .     .
+  ": "literal-string"]}
+after-brace/0: recipe clear-line-erases-printed-characters2
+after-brace/0: assume-screen ...
+after-brace/0: run ...
+after-brace/0: screen-should-contain ...
+new/0: routine allocated memory from 1000 to 101000
+schedule/0: clear-line-erases-printed-characters2
+run/0: instruction clear-line-erases-printed-characters2/0
+run/0: {name: "screen", value: 999, type: 2, properties: ["screen": "address"]} <- assume-screen/115 {name: "5", value: 5, type: 0, properties: ["5": "literal", "width": ]}, {name: "3", value: 3, type: 0, properties: ["3": "literal", "height": ]}
+run/0: instruction init-fake-screen/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal", "capacity": ]}
+mem/0: array size is 30
+mem/0: new alloc: 1000
+run/0: instruction init-fake-screen/1
+run/0: {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]} <- new/42 {name: "screen", value: 11, type: 0, properties: ["screen": "type"]}
+mem/0: new alloc: 1031
+mem/0: storing 1031 in location 1002
+run/0: instruction init-fake-screen/2
+run/0: {name: "width", value: 2, type: 2-1, properties: ["width": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: product 0 is 1032
+mem/0: storing 1032 in location 1003
+run/0: instruction init-fake-screen/3
+run/0: {name: "width", value: 2, type: 2-1, properties: ["width": "address":"integer", "deref": ]} <- next-ingredient/30 
+run/0: product 0 is 5
+mem/0: location 1003 is 1032
+mem/0: storing 5 in location 1032
+run/0: instruction init-fake-screen/4
+run/0: {name: "height", value: 3, type: 2-1, properties: ["height": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "num-rows", value: 0, type: 0, properties: ["num-rows": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is num-rows
+run/0: address to copy is 1031
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1004
+run/0: instruction init-fake-screen/5
+run/0: {name: "height", value: 3, type: 2-1, properties: ["height": "address":"integer", "deref": ]} <- next-ingredient/30 
+run/0: product 0 is 3
+mem/0: location 1004 is 1031
+mem/0: storing 3 in location 1031
+run/0: instruction init-fake-screen/6
+run/0: {name: "row", value: 4, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1005
+run/0: instruction init-fake-screen/7
+run/0: {name: "row", value: 4, type: 2-1, properties: ["row": "address":"integer", "deref": ]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
+run/0: ingredient 0 is 0
+mem/0: location 1005 is 1033
+mem/0: storing 0 in location 1033
+run/0: instruction init-fake-screen/8
+run/0: {name: "column", value: 5, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1006
+run/0: instruction init-fake-screen/9
+run/0: {name: "column", value: 5, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
+run/0: ingredient 0 is 0
+mem/0: location 1006 is 1034
+mem/0: storing 0 in location 1034
+run/0: instruction init-fake-screen/10
+run/0: {name: "bufsize", value: 6, type: 1, properties: ["bufsize": "integer"]} <- multiply/4 {name: "width", value: 2, type: 2-1, properties: ["width": "address":"integer", "deref": ]}, {name: "height", value: 3, type: 2-1, properties: ["height": "address":"integer", "deref": ]}
+run/0: ingredient 0 is width
+mem/0: location 1003 is 1032
+mem/0: location 1032 is 5
+run/0: ingredient 1 is height
+mem/0: location 1004 is 1031
+mem/0: location 1031 is 3
+run/0: ingredient 1 is 3
+run/0: product 0 is 15
+mem/0: storing 15 in location 1007
+run/0: instruction init-fake-screen/11
+run/0: {name: "buf", value: 7, type: 2-2-5-4, properties: ["buf": "address":"address":"array":"character"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: product 0 is 1035
+mem/0: storing 1035 in location 1008
+run/0: instruction init-fake-screen/12
+run/0: {name: "buf", value: 7, type: 2-2-5-4, properties: ["buf": "address":"address":"array":"character", "deref": ]} <- new/42 {name: "character", value: 0, type: 0, properties: ["character": "literal"]}, {name: "bufsize", value: 6, type: 1, properties: ["bufsize": "integer"]}
+mem/0: location 1007 is 15
+mem/0: array size is 15
+mem/0: new alloc: 1036
+mem/0: location 1008 is 1035
+mem/0: storing 1036 in location 1035
+run/0: instruction init-fake-screen/13
+run/0: clear-screen/116 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]}
+mem/0: location 1002 is 1031
+run/0: instruction clear-screen/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1052
+run/0: instruction clear-screen/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1054
+run/0: instruction clear-screen/3
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 12, type: , properties: ["": ]}
+mem/0: location 1054 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction clear-screen/4
+run/0: {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1054 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1055
+run/0: instruction clear-screen/5
+run/0: {name: "max", value: 3, type: 1, properties: ["max": "integer"]} <- length/28 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}
+mem/0: location 1055 is 1036
+mem/0: storing 15 in location 1056
+run/0: instruction clear-screen/6
+run/0: {name: "i", value: 4, 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 1057
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 0
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 0
+run/0: address to copy is 1037
+run/0: product 0 is 1037
+mem/0: storing 1037 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1037
+mem/0: storing 0 in location 1037
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: storing 1 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 1
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 1
+run/0: address to copy is 1038
+run/0: product 0 is 1038
+mem/0: storing 1038 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1038
+mem/0: storing 0 in location 1038
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 1
+run/0: ingredient 1 is 1
+run/0: product 0 is 2
+mem/0: storing 2 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 2
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 2
+run/0: address to copy is 1039
+run/0: product 0 is 1039
+mem/0: storing 1039 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1039
+mem/0: storing 0 in location 1039
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 2
+run/0: ingredient 1 is 1
+run/0: product 0 is 3
+mem/0: storing 3 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 3
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 3
+run/0: address to copy is 1040
+run/0: product 0 is 1040
+mem/0: storing 1040 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1040
+mem/0: storing 0 in location 1040
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 3
+run/0: ingredient 1 is 1
+run/0: product 0 is 4
+mem/0: storing 4 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 4
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 4
+run/0: address to copy is 1041
+run/0: product 0 is 1041
+mem/0: storing 1041 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1041
+mem/0: storing 0 in location 1041
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 4
+run/0: ingredient 1 is 1
+run/0: product 0 is 5
+mem/0: storing 5 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 5
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 5
+run/0: address to copy is 1042
+run/0: product 0 is 1042
+mem/0: storing 1042 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1042
+mem/0: storing 0 in location 1042
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 5
+run/0: ingredient 1 is 1
+run/0: product 0 is 6
+mem/0: storing 6 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 6
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 6
+run/0: address to copy is 1043
+run/0: product 0 is 1043
+mem/0: storing 1043 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1043
+mem/0: storing 0 in location 1043
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 6
+run/0: ingredient 1 is 1
+run/0: product 0 is 7
+mem/0: storing 7 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 7
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 7
+run/0: address to copy is 1044
+run/0: product 0 is 1044
+mem/0: storing 1044 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1044
+mem/0: storing 0 in location 1044
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 7
+run/0: ingredient 1 is 1
+run/0: product 0 is 8
+mem/0: storing 8 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 8
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 8
+run/0: address to copy is 1045
+run/0: product 0 is 1045
+mem/0: storing 1045 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1045
+mem/0: storing 0 in location 1045
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 8
+run/0: ingredient 1 is 1
+run/0: product 0 is 9
+mem/0: storing 9 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 9
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 9
+run/0: address to copy is 1046
+run/0: product 0 is 1046
+mem/0: storing 1046 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1046
+mem/0: storing 0 in location 1046
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 9
+run/0: ingredient 1 is 1
+run/0: product 0 is 10
+mem/0: storing 10 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 10
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 10
+run/0: address to copy is 1047
+run/0: product 0 is 1047
+mem/0: storing 1047 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1047
+mem/0: storing 0 in location 1047
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 10
+run/0: ingredient 1 is 1
+run/0: product 0 is 11
+mem/0: storing 11 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 11
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 11
+run/0: address to copy is 1048
+run/0: product 0 is 1048
+mem/0: storing 1048 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1048
+mem/0: storing 0 in location 1048
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 11
+run/0: ingredient 1 is 1
+run/0: product 0 is 12
+mem/0: storing 12 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 12
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 12
+run/0: address to copy is 1049
+run/0: product 0 is 1049
+mem/0: storing 1049 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1049
+mem/0: storing 0 in location 1049
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 12
+run/0: ingredient 1 is 1
+run/0: product 0 is 13
+mem/0: storing 13 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 13
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 13
+run/0: address to copy is 1050
+run/0: product 0 is 1050
+mem/0: storing 1050 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1050
+mem/0: storing 0 in location 1050
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 13
+run/0: ingredient 1 is 1
+run/0: product 0 is 14
+mem/0: storing 14 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 14
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 0
+mem/0: storing 0 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1055 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1057 is 14
+run/0: address to copy is 1051
+run/0: product 0 is 1051
+mem/0: storing 1051 in location 1059
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1059 is 1051
+mem/0: storing 0 in location 1051
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 14
+run/0: ingredient 1 is 1
+run/0: product 0 is 15
+mem/0: storing 15 in location 1057
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1057 is 15
+run/0: ingredient 1 is max
+mem/0: location 1056 is 15
+run/0: product 0 is 1
+mem/0: storing 1 in location 1058
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1058 is 1
+run/0: ingredient 0 is 1
+run/0: ingredient 1 is 
+run/0: jumping to instruction 14
+run/0: instruction clear-screen/15
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1054 is 1031
+run/0: instruction init-fake-screen/14
+run/0: reply/33 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]}
+mem/0: location 1002 is 1031
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 999
+run/0: instruction clear-line-erases-printed-characters2/1
+run/0: run/43 {name: "
+    # print a character
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+    # move cursor to start of line
+    screen:address <- move-cursor screen:address, 0:literal/row, 0:literal/column
+    # clear line
+    screen:address <- clear-line screen:address
+  ", value: 0, type: 0, properties: ["
+    # print a character
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+    # move cursor to start of line
+    screen:address <- move-cursor screen:address, 0:literal/row, 0:literal/column
+    # clear line
+    screen:address <- clear-line screen:address
+  ": "literal-string"]}
+parse/0: instruction: print-character
+parse/0:   ingredient: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+parse/0:   ingredient: {name: "97", value: 0, type: 0, properties: ["97": "literal"]}
+parse/0:   product: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+parse/0: instruction: move-cursor
+parse/0:   ingredient: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+parse/0:   ingredient: {name: "0", value: 0, type: 0, properties: ["0": "literal", "row": ]}
+parse/0:   ingredient: {name: "0", value: 0, type: 0, properties: ["0": "literal", "column": ]}
+parse/0:   product: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+parse/0: instruction: clear-line
+parse/0:   ingredient: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+parse/0:   product: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+after-brace/0: recipe run1001
+after-brace/0: print-character ...
+after-brace/0: move-cursor ...
+after-brace/0: clear-line ...
+run/0: instruction run1001/0
+run/0: {name: "screen", value: 999, type: 2, properties: ["screen": "address"]} <- print-character/117 {name: "screen", value: 999, type: 2, properties: ["screen": "address"]}, {name: "97", value: 97, type: 0, properties: ["97": "literal"]}
+mem/0: location 999 is 1031
+run/0: instruction print-character/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1083
+run/0: instruction print-character/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1085
+run/0: instruction print-character/2
+run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient/30 
+run/0: product 0 is 97
+mem/0: storing 97 in location 1086
+run/0: instruction print-character/4
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 14, type: , properties: ["": ]}
+mem/0: location 1085 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction print-character/5
+run/0: {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1085 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1087
+run/0: instruction print-character/6
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1085 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1088
+run/0: instruction print-character/7
+run/0: {name: "width", value: 5, type: 1, properties: ["width": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1085 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 5
+run/0: product 0 is 5
+mem/0: storing 5 in location 1089
+run/0: instruction print-character/8
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- multiply/4 {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is row
+mem/0: location 1087 is 1033
+mem/0: location 1033 is 0
+run/0: ingredient 1 is width
+mem/0: location 1089 is 5
+run/0: ingredient 1 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1090
+run/0: instruction print-character/9
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- add/2 {name: "index", value: 6, type: 1, properties: ["index": "integer"]}, {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is index
+mem/0: location 1090 is 0
+run/0: ingredient 1 is column
+mem/0: location 1088 is 1034
+mem/0: location 1034 is 0
+run/0: product 0 is 0
+mem/0: storing 0 in location 1090
+run/0: instruction print-character/10
+run/0: {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1085 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1091
+run/0: instruction print-character/11
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character"]} <- index-address/27 {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1091 is 1036
+run/0: ingredient 1 is {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+mem/0: location 1090 is 0
+run/0: address to copy is 1037
+run/0: product 0 is 1037
+mem/0: storing 1037 in location 1092
+run/0: instruction print-character/12
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character", "deref": ]} <- copy/1 {name: "c", value: 2, type: 4, properties: ["c": "character"]}
+run/0: ingredient 0 is c
+mem/0: location 1086 is 97
+mem/0: location 1092 is 1037
+mem/0: storing 97 in location 1037
+run/0: instruction print-character/14
+run/0: {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]} <- equal/13 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1088 is 1034
+mem/0: location 1034 is 0
+run/0: ingredient 1 is width
+mem/0: location 1089 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1093
+run/0: instruction print-character/15
+run/0: break-if/11 {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
+mem/0: location 1093 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction print-character/16
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- add/2 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is column
+mem/0: location 1088 is 1034
+mem/0: location 1034 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: location 1088 is 1034
+mem/0: storing 1 in location 1034
+run/0: instruction print-character/18
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1085 is 1031
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 999
+run/0: instruction run1001/1
+run/0: {name: "screen", value: 999, type: 2, properties: ["screen": "address"]} <- move-cursor/120 {name: "screen", value: 999, type: 2, properties: ["screen": "address"]}, {name: "0", value: 0, type: 0, properties: ["0": "literal", "row": ]}, {name: "0", value: 0, type: 0, properties: ["0": "literal", "column": ]}
+mem/0: location 999 is 1031
+run/0: instruction move-cursor/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1114
+run/0: instruction move-cursor/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1116
+run/0: instruction move-cursor/2
+run/0: {name: "new-row", value: 2, type: 1, properties: ["new-row": "integer"]} <- next-ingredient/30 
+run/0: product 0 is 0
+mem/0: storing 0 in location 1117
+run/0: instruction move-cursor/3
+run/0: {name: "new-column", value: 3, type: 1, properties: ["new-column": "integer"]} <- next-ingredient/30 
+run/0: product 0 is 0
+mem/0: storing 0 in location 1118
+run/0: instruction move-cursor/5
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 5, type: , properties: ["": ]}
+mem/0: location 1116 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction move-cursor/6
+run/0: {name: "row", value: 4, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1116 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1119
+run/0: instruction move-cursor/7
+run/0: {name: "row", value: 4, type: 2-1, properties: ["row": "address":"integer", "deref": ]} <- copy/1 {name: "new-row", value: 2, type: 1, properties: ["new-row": "integer"]}
+run/0: ingredient 0 is new-row
+mem/0: location 1117 is 0
+mem/0: location 1119 is 1033
+mem/0: storing 0 in location 1033
+run/0: instruction move-cursor/8
+run/0: {name: "column", value: 5, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1116 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1120
+run/0: instruction move-cursor/9
+run/0: {name: "column", value: 5, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- copy/1 {name: "new-column", value: 3, type: 1, properties: ["new-column": "integer"]}
+run/0: ingredient 0 is new-column
+mem/0: location 1118 is 0
+mem/0: location 1120 is 1034
+mem/0: storing 0 in location 1034
+run/0: instruction move-cursor/10
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1116 is 1031
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 999
+run/0: instruction run1001/2
+run/0: {name: "screen", value: 999, type: 2, properties: ["screen": "address"]} <- clear-line/118 {name: "screen", value: 999, type: 2, properties: ["screen": "address"]}
+mem/0: location 999 is 1031
+run/0: instruction clear-line/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1145
+run/0: instruction clear-line/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1147
+run/0: instruction clear-line/3
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 11, type: , properties: ["": ]}
+mem/0: location 1147 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction clear-line/4
+run/0: {name: "n", value: 2, type: 1, properties: ["n": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1147 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 5
+run/0: product 0 is 5
+mem/0: storing 5 in location 1148
+run/0: instruction clear-line/5
+run/0: {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1147 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1149
+run/0: instruction clear-line/6
+run/0: {name: "original-column", value: 4, type: 1, properties: ["original-column": "integer"]} <- copy/1 {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is column
+mem/0: location 1149 is 1034
+mem/0: location 1034 is 0
+mem/0: storing 0 in location 1150
+run/0: instruction clear-line/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "n", value: 2, type: 1, properties: ["n": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1149 is 1034
+mem/0: location 1034 is 0
+run/0: ingredient 1 is n
+mem/0: location 1148 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1151
+run/0: instruction clear-line/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 2, type: , properties: ["": ]}
+mem/0: location 1151 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-line/10
+run/0: print-character/117 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+mem/0: location 1147 is 1031
+run/0: instruction print-character/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1176
+run/0: instruction print-character/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1178
+run/0: instruction print-character/2
+run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient/30 
+run/0: product 0 is 0
+mem/0: storing 0 in location 1179
+run/0: instruction print-character/4
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 14, type: , properties: ["": ]}
+mem/0: location 1178 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction print-character/5
+run/0: {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1178 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1180
+run/0: instruction print-character/6
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1178 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1181
+run/0: instruction print-character/7
+run/0: {name: "width", value: 5, type: 1, properties: ["width": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1178 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 5
+run/0: product 0 is 5
+mem/0: storing 5 in location 1182
+run/0: instruction print-character/8
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- multiply/4 {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is row
+mem/0: location 1180 is 1033
+mem/0: location 1033 is 0
+run/0: ingredient 1 is width
+mem/0: location 1182 is 5
+run/0: ingredient 1 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1183
+run/0: instruction print-character/9
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- add/2 {name: "index", value: 6, type: 1, properties: ["index": "integer"]}, {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is index
+mem/0: location 1183 is 0
+run/0: ingredient 1 is column
+mem/0: location 1181 is 1034
+mem/0: location 1034 is 0
+run/0: product 0 is 0
+mem/0: storing 0 in location 1183
+run/0: instruction print-character/10
+run/0: {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1178 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1184
+run/0: instruction print-character/11
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character"]} <- index-address/27 {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1184 is 1036
+run/0: ingredient 1 is {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+mem/0: location 1183 is 0
+run/0: address to copy is 1037
+run/0: product 0 is 1037
+mem/0: storing 1037 in location 1185
+run/0: instruction print-character/12
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character", "deref": ]} <- copy/1 {name: "c", value: 2, type: 4, properties: ["c": "character"]}
+run/0: ingredient 0 is c
+mem/0: location 1179 is 0
+mem/0: location 1185 is 1037
+mem/0: storing 0 in location 1037
+run/0: instruction print-character/14
+run/0: {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]} <- equal/13 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1181 is 1034
+mem/0: location 1034 is 0
+run/0: ingredient 1 is width
+mem/0: location 1182 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1186
+run/0: instruction print-character/15
+run/0: break-if/11 {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
+mem/0: location 1186 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction print-character/16
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- add/2 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is column
+mem/0: location 1181 is 1034
+mem/0: location 1034 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: location 1181 is 1034
+mem/0: storing 1 in location 1034
+run/0: instruction print-character/18
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1178 is 1031
+run/0: instruction clear-line/11
+run/0: loop/10 {name: "", value: -4, type: , properties: ["": ]}
+run/0: ingredient 0 is -4
+run/0: jumping to instruction 8
+run/0: instruction clear-line/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "n", value: 2, type: 1, properties: ["n": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1149 is 1034
+mem/0: location 1034 is 1
+run/0: ingredient 1 is n
+mem/0: location 1148 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1151
+run/0: instruction clear-line/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 2, type: , properties: ["": ]}
+mem/0: location 1151 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-line/10
+run/0: print-character/117 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+mem/0: location 1147 is 1031
+run/0: instruction print-character/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1207
+run/0: instruction print-character/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1209
+run/0: instruction print-character/2
+run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient/30 
+run/0: product 0 is 0
+mem/0: storing 0 in location 1210
+run/0: instruction print-character/4
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 14, type: , properties: ["": ]}
+mem/0: location 1209 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction print-character/5
+run/0: {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1209 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1211
+run/0: instruction print-character/6
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1209 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1212
+run/0: instruction print-character/7
+run/0: {name: "width", value: 5, type: 1, properties: ["width": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1209 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 5
+run/0: product 0 is 5
+mem/0: storing 5 in location 1213
+run/0: instruction print-character/8
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- multiply/4 {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is row
+mem/0: location 1211 is 1033
+mem/0: location 1033 is 0
+run/0: ingredient 1 is width
+mem/0: location 1213 is 5
+run/0: ingredient 1 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1214
+run/0: instruction print-character/9
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- add/2 {name: "index", value: 6, type: 1, properties: ["index": "integer"]}, {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is index
+mem/0: location 1214 is 0
+run/0: ingredient 1 is column
+mem/0: location 1212 is 1034
+mem/0: location 1034 is 1
+run/0: product 0 is 1
+mem/0: storing 1 in location 1214
+run/0: instruction print-character/10
+run/0: {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1209 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1215
+run/0: instruction print-character/11
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character"]} <- index-address/27 {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1215 is 1036
+run/0: ingredient 1 is {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+mem/0: location 1214 is 1
+run/0: address to copy is 1038
+run/0: product 0 is 1038
+mem/0: storing 1038 in location 1216
+run/0: instruction print-character/12
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character", "deref": ]} <- copy/1 {name: "c", value: 2, type: 4, properties: ["c": "character"]}
+run/0: ingredient 0 is c
+mem/0: location 1210 is 0
+mem/0: location 1216 is 1038
+mem/0: storing 0 in location 1038
+run/0: instruction print-character/14
+run/0: {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]} <- equal/13 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1212 is 1034
+mem/0: location 1034 is 1
+run/0: ingredient 1 is width
+mem/0: location 1213 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1217
+run/0: instruction print-character/15
+run/0: break-if/11 {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
+mem/0: location 1217 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction print-character/16
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- add/2 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is column
+mem/0: location 1212 is 1034
+mem/0: location 1034 is 1
+run/0: ingredient 1 is 1
+run/0: product 0 is 2
+mem/0: location 1212 is 1034
+mem/0: storing 2 in location 1034
+run/0: instruction print-character/18
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1209 is 1031
+run/0: instruction clear-line/11
+run/0: loop/10 {name: "", value: -4, type: , properties: ["": ]}
+run/0: ingredient 0 is -4
+run/0: jumping to instruction 8
+run/0: instruction clear-line/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "n", value: 2, type: 1, properties: ["n": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1149 is 1034
+mem/0: location 1034 is 2
+run/0: ingredient 1 is n
+mem/0: location 1148 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1151
+run/0: instruction clear-line/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 2, type: , properties: ["": ]}
+mem/0: location 1151 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-line/10
+run/0: print-character/117 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+mem/0: location 1147 is 1031
+run/0: instruction print-character/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1238
+run/0: instruction print-character/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1240
+run/0: instruction print-character/2
+run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient/30 
+run/0: product 0 is 0
+mem/0: storing 0 in location 1241
+run/0: instruction print-character/4
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 14, type: , properties: ["": ]}
+mem/0: location 1240 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction print-character/5
+run/0: {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1240 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1242
+run/0: instruction print-character/6
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1240 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1243
+run/0: instruction print-character/7
+run/0: {name: "width", value: 5, type: 1, properties: ["width": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1240 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 5
+run/0: product 0 is 5
+mem/0: storing 5 in location 1244
+run/0: instruction print-character/8
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- multiply/4 {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is row
+mem/0: location 1242 is 1033
+mem/0: location 1033 is 0
+run/0: ingredient 1 is width
+mem/0: location 1244 is 5
+run/0: ingredient 1 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1245
+run/0: instruction print-character/9
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- add/2 {name: "index", value: 6, type: 1, properties: ["index": "integer"]}, {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is index
+mem/0: location 1245 is 0
+run/0: ingredient 1 is column
+mem/0: location 1243 is 1034
+mem/0: location 1034 is 2
+run/0: product 0 is 2
+mem/0: storing 2 in location 1245
+run/0: instruction print-character/10
+run/0: {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1240 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1246
+run/0: instruction print-character/11
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character"]} <- index-address/27 {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1246 is 1036
+run/0: ingredient 1 is {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+mem/0: location 1245 is 2
+run/0: address to copy is 1039
+run/0: product 0 is 1039
+mem/0: storing 1039 in location 1247
+run/0: instruction print-character/12
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character", "deref": ]} <- copy/1 {name: "c", value: 2, type: 4, properties: ["c": "character"]}
+run/0: ingredient 0 is c
+mem/0: location 1241 is 0
+mem/0: location 1247 is 1039
+mem/0: storing 0 in location 1039
+run/0: instruction print-character/14
+run/0: {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]} <- equal/13 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1243 is 1034
+mem/0: location 1034 is 2
+run/0: ingredient 1 is width
+mem/0: location 1244 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1248
+run/0: instruction print-character/15
+run/0: break-if/11 {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
+mem/0: location 1248 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction print-character/16
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- add/2 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is column
+mem/0: location 1243 is 1034
+mem/0: location 1034 is 2
+run/0: ingredient 1 is 1
+run/0: product 0 is 3
+mem/0: location 1243 is 1034
+mem/0: storing 3 in location 1034
+run/0: instruction print-character/18
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1240 is 1031
+run/0: instruction clear-line/11
+run/0: loop/10 {name: "", value: -4, type: , properties: ["": ]}
+run/0: ingredient 0 is -4
+run/0: jumping to instruction 8
+run/0: instruction clear-line/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "n", value: 2, type: 1, properties: ["n": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1149 is 1034
+mem/0: location 1034 is 3
+run/0: ingredient 1 is n
+mem/0: location 1148 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1151
+run/0: instruction clear-line/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 2, type: , properties: ["": ]}
+mem/0: location 1151 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-line/10
+run/0: print-character/117 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+mem/0: location 1147 is 1031
+run/0: instruction print-character/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1269
+run/0: instruction print-character/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1271
+run/0: instruction print-character/2
+run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient/30 
+run/0: product 0 is 0
+mem/0: storing 0 in location 1272
+run/0: instruction print-character/4
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 14, type: , properties: ["": ]}
+mem/0: location 1271 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction print-character/5
+run/0: {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1271 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1273
+run/0: instruction print-character/6
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1271 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1274
+run/0: instruction print-character/7
+run/0: {name: "width", value: 5, type: 1, properties: ["width": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1271 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 5
+run/0: product 0 is 5
+mem/0: storing 5 in location 1275
+run/0: instruction print-character/8
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- multiply/4 {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is row
+mem/0: location 1273 is 1033
+mem/0: location 1033 is 0
+run/0: ingredient 1 is width
+mem/0: location 1275 is 5
+run/0: ingredient 1 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1276
+run/0: instruction print-character/9
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- add/2 {name: "index", value: 6, type: 1, properties: ["index": "integer"]}, {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is index
+mem/0: location 1276 is 0
+run/0: ingredient 1 is column
+mem/0: location 1274 is 1034
+mem/0: location 1034 is 3
+run/0: product 0 is 3
+mem/0: storing 3 in location 1276
+run/0: instruction print-character/10
+run/0: {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1271 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1277
+run/0: instruction print-character/11
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character"]} <- index-address/27 {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1277 is 1036
+run/0: ingredient 1 is {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+mem/0: location 1276 is 3
+run/0: address to copy is 1040
+run/0: product 0 is 1040
+mem/0: storing 1040 in location 1278
+run/0: instruction print-character/12
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character", "deref": ]} <- copy/1 {name: "c", value: 2, type: 4, properties: ["c": "character"]}
+run/0: ingredient 0 is c
+mem/0: location 1272 is 0
+mem/0: location 1278 is 1040
+mem/0: storing 0 in location 1040
+run/0: instruction print-character/14
+run/0: {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]} <- equal/13 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1274 is 1034
+mem/0: location 1034 is 3
+run/0: ingredient 1 is width
+mem/0: location 1275 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1279
+run/0: instruction print-character/15
+run/0: break-if/11 {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
+mem/0: location 1279 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction print-character/16
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- add/2 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is column
+mem/0: location 1274 is 1034
+mem/0: location 1034 is 3
+run/0: ingredient 1 is 1
+run/0: product 0 is 4
+mem/0: location 1274 is 1034
+mem/0: storing 4 in location 1034
+run/0: instruction print-character/18
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1271 is 1031
+run/0: instruction clear-line/11
+run/0: loop/10 {name: "", value: -4, type: , properties: ["": ]}
+run/0: ingredient 0 is -4
+run/0: jumping to instruction 8
+run/0: instruction clear-line/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "n", value: 2, type: 1, properties: ["n": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1149 is 1034
+mem/0: location 1034 is 4
+run/0: ingredient 1 is n
+mem/0: location 1148 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1151
+run/0: instruction clear-line/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 2, type: , properties: ["": ]}
+mem/0: location 1151 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-line/10
+run/0: print-character/117 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+mem/0: location 1147 is 1031
+run/0: instruction print-character/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1300
+run/0: instruction print-character/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1302
+run/0: instruction print-character/2
+run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient/30 
+run/0: product 0 is 0
+mem/0: storing 0 in location 1303
+run/0: instruction print-character/4
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 14, type: , properties: ["": ]}
+mem/0: location 1302 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction print-character/5
+run/0: {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1302 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1304
+run/0: instruction print-character/6
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1302 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1305
+run/0: instruction print-character/7
+run/0: {name: "width", value: 5, type: 1, properties: ["width": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1302 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 5
+run/0: product 0 is 5
+mem/0: storing 5 in location 1306
+run/0: instruction print-character/8
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- multiply/4 {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is row
+mem/0: location 1304 is 1033
+mem/0: location 1033 is 0
+run/0: ingredient 1 is width
+mem/0: location 1306 is 5
+run/0: ingredient 1 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1307
+run/0: instruction print-character/9
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- add/2 {name: "index", value: 6, type: 1, properties: ["index": "integer"]}, {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is index
+mem/0: location 1307 is 0
+run/0: ingredient 1 is column
+mem/0: location 1305 is 1034
+mem/0: location 1034 is 4
+run/0: product 0 is 4
+mem/0: storing 4 in location 1307
+run/0: instruction print-character/10
+run/0: {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1302 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1308
+run/0: instruction print-character/11
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character"]} <- index-address/27 {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1308 is 1036
+run/0: ingredient 1 is {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+mem/0: location 1307 is 4
+run/0: address to copy is 1041
+run/0: product 0 is 1041
+mem/0: storing 1041 in location 1309
+run/0: instruction print-character/12
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character", "deref": ]} <- copy/1 {name: "c", value: 2, type: 4, properties: ["c": "character"]}
+run/0: ingredient 0 is c
+mem/0: location 1303 is 0
+mem/0: location 1309 is 1041
+mem/0: storing 0 in location 1041
+run/0: instruction print-character/14
+run/0: {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]} <- equal/13 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1305 is 1034
+mem/0: location 1034 is 4
+run/0: ingredient 1 is width
+mem/0: location 1306 is 5
+run/0: product 0 is 0
+mem/0: storing 0 in location 1310
+run/0: instruction print-character/15
+run/0: break-if/11 {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
+mem/0: location 1310 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction print-character/16
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- add/2 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is column
+mem/0: location 1305 is 1034
+mem/0: location 1034 is 4
+run/0: ingredient 1 is 1
+run/0: product 0 is 5
+mem/0: location 1305 is 1034
+mem/0: storing 5 in location 1034
+run/0: instruction print-character/18
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1302 is 1031
+run/0: instruction clear-line/11
+run/0: loop/10 {name: "", value: -4, type: , properties: ["": ]}
+run/0: ingredient 0 is -4
+run/0: jumping to instruction 8
+run/0: instruction clear-line/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "n", value: 2, type: 1, properties: ["n": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1149 is 1034
+mem/0: location 1034 is 5
+run/0: ingredient 1 is n
+mem/0: location 1148 is 5
+run/0: product 0 is 1
+mem/0: storing 1 in location 1151
+run/0: instruction clear-line/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 2, type: , properties: ["": ]}
+mem/0: location 1151 is 1
+run/0: ingredient 0 is 1
+run/0: ingredient 1 is 
+run/0: jumping to instruction 12
+run/0: instruction clear-line/13
+run/0: {name: "column", value: 3, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- copy/1 {name: "original-column", value: 4, type: 1, properties: ["original-column": "integer"]}
+run/0: ingredient 0 is original-column
+mem/0: location 1150 is 0
+mem/0: location 1149 is 1034
+mem/0: storing 0 in location 1034
+run/0: instruction clear-line/14
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1147 is 1031
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 999
+run/0: instruction clear-line-erases-printed-characters2/2
+run/0: screen-should-contain/59 {name: "
+    .     .
+    .     .
+    .     .
+  ", value: 0, type: 0, properties: ["
+    .     .
+    .     .
+    .     .
+  ": "literal-string"]}
+run/0: checking screen size at 1036
+run/0: checking location 1037
+run/0: checking location 1038
+run/0: checking location 1039
+run/0: checking location 1040
+run/0: checking location 1041
+run/0: checking location 1042
+run/0: checking location 1043
+run/0: checking location 1044
+run/0: checking location 1045
+run/0: checking location 1046
+run/0: checking location 1047
+run/0: checking location 1048
+run/0: checking location 1049
+run/0: checking location 1050
+run/0: checking location 1051
diff --git a/cpp/.traces/print-character-at-top-left2 b/cpp/.traces/print-character-at-top-left2
new file mode 100644
index 00000000..10732699
--- /dev/null
+++ b/cpp/.traces/print-character-at-top-left2
@@ -0,0 +1,540 @@
+parse/0: instruction: assume-screen
+parse/0:   ingredient: {name: "3", value: 0, type: 0, properties: ["3": "literal", "width": ]}
+parse/0:   ingredient: {name: "2", value: 0, type: 0, properties: ["2": "literal", "height": ]}
+parse/0: instruction: run
+parse/0:   ingredient: {name: "
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+  ", value: 0, type: 0, properties: ["
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+  ": "literal-string"]}
+parse/0: instruction: screen-should-contain
+parse/0:   ingredient: {name: "
+    .a  .
+    .   .
+  ", value: 0, type: 0, properties: ["
+    .a  .
+    .   .
+  ": "literal-string"]}
+after-brace/0: recipe print-character-at-top-left2
+after-brace/0: assume-screen ...
+after-brace/0: run ...
+after-brace/0: screen-should-contain ...
+new/0: routine allocated memory from 1000 to 101000
+schedule/0: print-character-at-top-left2
+run/0: instruction print-character-at-top-left2/0
+run/0: {name: "screen", value: 999, type: 2, properties: ["screen": "address"]} <- assume-screen/115 {name: "3", value: 3, type: 0, properties: ["3": "literal", "width": ]}, {name: "2", value: 2, type: 0, properties: ["2": "literal", "height": ]}
+run/0: instruction init-fake-screen/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal", "capacity": ]}
+mem/0: array size is 30
+mem/0: new alloc: 1000
+run/0: instruction init-fake-screen/1
+run/0: {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]} <- new/42 {name: "screen", value: 11, type: 0, properties: ["screen": "type"]}
+mem/0: new alloc: 1031
+mem/0: storing 1031 in location 1002
+run/0: instruction init-fake-screen/2
+run/0: {name: "width", value: 2, type: 2-1, properties: ["width": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: product 0 is 1032
+mem/0: storing 1032 in location 1003
+run/0: instruction init-fake-screen/3
+run/0: {name: "width", value: 2, type: 2-1, properties: ["width": "address":"integer", "deref": ]} <- next-ingredient/30 
+run/0: product 0 is 3
+mem/0: location 1003 is 1032
+mem/0: storing 3 in location 1032
+run/0: instruction init-fake-screen/4
+run/0: {name: "height", value: 3, type: 2-1, properties: ["height": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "num-rows", value: 0, type: 0, properties: ["num-rows": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is num-rows
+run/0: address to copy is 1031
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1004
+run/0: instruction init-fake-screen/5
+run/0: {name: "height", value: 3, type: 2-1, properties: ["height": "address":"integer", "deref": ]} <- next-ingredient/30 
+run/0: product 0 is 2
+mem/0: location 1004 is 1031
+mem/0: storing 2 in location 1031
+run/0: instruction init-fake-screen/6
+run/0: {name: "row", value: 4, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1005
+run/0: instruction init-fake-screen/7
+run/0: {name: "row", value: 4, type: 2-1, properties: ["row": "address":"integer", "deref": ]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
+run/0: ingredient 0 is 0
+mem/0: location 1005 is 1033
+mem/0: storing 0 in location 1033
+run/0: instruction init-fake-screen/8
+run/0: {name: "column", value: 5, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1006
+run/0: instruction init-fake-screen/9
+run/0: {name: "column", value: 5, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- copy/1 {name: "0", value: 0, type: 0, properties: ["0": "literal"]}
+run/0: ingredient 0 is 0
+mem/0: location 1006 is 1034
+mem/0: storing 0 in location 1034
+run/0: instruction init-fake-screen/10
+run/0: {name: "bufsize", value: 6, type: 1, properties: ["bufsize": "integer"]} <- multiply/4 {name: "width", value: 2, type: 2-1, properties: ["width": "address":"integer", "deref": ]}, {name: "height", value: 3, type: 2-1, properties: ["height": "address":"integer", "deref": ]}
+run/0: ingredient 0 is width
+mem/0: location 1003 is 1032
+mem/0: location 1032 is 3
+run/0: ingredient 1 is height
+mem/0: location 1004 is 1031
+mem/0: location 1031 is 2
+run/0: ingredient 1 is 2
+run/0: product 0 is 6
+mem/0: storing 6 in location 1007
+run/0: instruction init-fake-screen/11
+run/0: {name: "buf", value: 7, type: 2-2-5-4, properties: ["buf": "address":"address":"array":"character"]} <- get-address/25 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is result
+mem/0: location 1002 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: product 0 is 1035
+mem/0: storing 1035 in location 1008
+run/0: instruction init-fake-screen/12
+run/0: {name: "buf", value: 7, type: 2-2-5-4, properties: ["buf": "address":"address":"array":"character", "deref": ]} <- new/42 {name: "character", value: 0, type: 0, properties: ["character": "literal"]}, {name: "bufsize", value: 6, type: 1, properties: ["bufsize": "integer"]}
+mem/0: location 1007 is 6
+mem/0: array size is 6
+mem/0: new alloc: 1036
+mem/0: location 1008 is 1035
+mem/0: storing 1036 in location 1035
+run/0: instruction init-fake-screen/13
+run/0: clear-screen/116 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]}
+mem/0: location 1002 is 1031
+run/0: instruction clear-screen/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1043
+run/0: instruction clear-screen/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1045
+run/0: instruction clear-screen/3
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 12, type: , properties: ["": ]}
+mem/0: location 1045 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction clear-screen/4
+run/0: {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1045 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1046
+run/0: instruction clear-screen/5
+run/0: {name: "max", value: 3, type: 1, properties: ["max": "integer"]} <- length/28 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}
+mem/0: location 1046 is 1036
+mem/0: storing 6 in location 1047
+run/0: instruction clear-screen/6
+run/0: {name: "i", value: 4, 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 1048
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 0
+run/0: ingredient 1 is max
+mem/0: location 1047 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1049
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1049 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1046 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1048 is 0
+run/0: address to copy is 1037
+run/0: product 0 is 1037
+mem/0: storing 1037 in location 1050
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1050 is 1037
+mem/0: storing 0 in location 1037
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: storing 1 in location 1048
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 1
+run/0: ingredient 1 is max
+mem/0: location 1047 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1049
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1049 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1046 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1048 is 1
+run/0: address to copy is 1038
+run/0: product 0 is 1038
+mem/0: storing 1038 in location 1050
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1050 is 1038
+mem/0: storing 0 in location 1038
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 1
+run/0: ingredient 1 is 1
+run/0: product 0 is 2
+mem/0: storing 2 in location 1048
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 2
+run/0: ingredient 1 is max
+mem/0: location 1047 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1049
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1049 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1046 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1048 is 2
+run/0: address to copy is 1039
+run/0: product 0 is 1039
+mem/0: storing 1039 in location 1050
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1050 is 1039
+mem/0: storing 0 in location 1039
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 2
+run/0: ingredient 1 is 1
+run/0: product 0 is 3
+mem/0: storing 3 in location 1048
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 3
+run/0: ingredient 1 is max
+mem/0: location 1047 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1049
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1049 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1046 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1048 is 3
+run/0: address to copy is 1040
+run/0: product 0 is 1040
+mem/0: storing 1040 in location 1050
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1050 is 1040
+mem/0: storing 0 in location 1040
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 3
+run/0: ingredient 1 is 1
+run/0: product 0 is 4
+mem/0: storing 4 in location 1048
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 4
+run/0: ingredient 1 is max
+mem/0: location 1047 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1049
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1049 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1046 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1048 is 4
+run/0: address to copy is 1041
+run/0: product 0 is 1041
+mem/0: storing 1041 in location 1050
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1050 is 1041
+mem/0: storing 0 in location 1041
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 4
+run/0: ingredient 1 is 1
+run/0: product 0 is 5
+mem/0: storing 5 in location 1048
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 5
+run/0: ingredient 1 is max
+mem/0: location 1047 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1049
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1049 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction clear-screen/10
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character"]} <- index-address/27 {name: "buf", value: 2, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1046 is 1036
+run/0: ingredient 1 is {name: "i", value: 4, type: 1, properties: ["i": "integer"]}
+mem/0: location 1048 is 5
+run/0: address to copy is 1042
+run/0: product 0 is 1042
+mem/0: storing 1042 in location 1050
+run/0: instruction clear-screen/11
+run/0: {name: "c", value: 6, type: 2-4, properties: ["c": "address":"character", "deref": ]} <- copy/1 {name: " ", value: 0, type: 0, properties: [" ": "literal-string"]}
+run/0: ingredient 0 is  
+mem/0: location 1050 is 1042
+mem/0: storing 0 in location 1042
+run/0: instruction clear-screen/12
+run/0: {name: "i", value: 4, type: 1, properties: ["i": "integer"]} <- add/2 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 5
+run/0: ingredient 1 is 1
+run/0: product 0 is 6
+mem/0: storing 6 in location 1048
+run/0: instruction clear-screen/13
+run/0: loop/10 {name: "", value: -6, type: , properties: ["": ]}
+run/0: ingredient 0 is -6
+run/0: jumping to instruction 8
+run/0: instruction clear-screen/8
+run/0: {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]} <- greater-or-equal/16 {name: "i", value: 4, type: 1, properties: ["i": "integer"]}, {name: "max", value: 3, type: 1, properties: ["max": "integer"]}
+run/0: ingredient 0 is i
+mem/0: location 1048 is 6
+run/0: ingredient 1 is max
+mem/0: location 1047 is 6
+run/0: product 0 is 1
+mem/0: storing 1 in location 1049
+run/0: instruction clear-screen/9
+run/0: break-if/11 {name: "done?", value: 5, type: 3, properties: ["done?": "boolean"]}, {name: "", value: 4, type: , properties: ["": ]}
+mem/0: location 1049 is 1
+run/0: ingredient 0 is 1
+run/0: ingredient 1 is 
+run/0: jumping to instruction 14
+run/0: instruction clear-screen/15
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1045 is 1031
+run/0: instruction init-fake-screen/14
+run/0: reply/33 {name: "result", value: 1, type: 2-11, properties: ["result": "address":"screen"]}
+mem/0: location 1002 is 1031
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 999
+run/0: instruction print-character-at-top-left2/1
+run/0: run/43 {name: "
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+  ", value: 0, type: 0, properties: ["
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+  ": "literal-string"]}
+parse/0: instruction: print-character
+parse/0:   ingredient: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+parse/0:   ingredient: {name: "97", value: 0, type: 0, properties: ["97": "literal"]}
+parse/0:   product: {name: "screen", value: 0, type: 2, properties: ["screen": "address"]}
+after-brace/0: recipe run1001
+after-brace/0: print-character ...
+run/0: instruction run1001/0
+run/0: {name: "screen", value: 999, type: 2, properties: ["screen": "address"]} <- print-character/117 {name: "screen", value: 999, type: 2, properties: ["screen": "address"]}, {name: "97", value: 97, type: 0, properties: ["97": "literal"]}
+mem/0: location 999 is 1031
+run/0: instruction print-character/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new/42 {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: 1074
+run/0: instruction print-character/1
+run/0: {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]} <- next-ingredient/30 
+run/0: product 0 is 1031
+mem/0: storing 1031 in location 1076
+run/0: instruction print-character/2
+run/0: {name: "c", value: 2, type: 4, properties: ["c": "character"]} <- next-ingredient/30 
+run/0: product 0 is 97
+mem/0: storing 97 in location 1077
+run/0: instruction print-character/4
+run/0: break-unless/12 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen"]}, {name: "", value: 14, type: , properties: ["": ]}
+mem/0: location 1076 is 1031
+run/0: ingredient 0 is 1031
+run/0: jump-unless fell through
+run/0: instruction print-character/5
+run/0: {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-row", value: 2, type: 0, properties: ["cursor-row": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1076 is 1031
+run/0: ingredient 1 is cursor-row
+run/0: address to copy is 1033
+run/0: product 0 is 1033
+mem/0: storing 1033 in location 1078
+run/0: instruction print-character/6
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer"]} <- get-address/25 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "cursor-column", value: 3, type: 0, properties: ["cursor-column": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1076 is 1031
+run/0: ingredient 1 is cursor-column
+run/0: address to copy is 1034
+run/0: product 0 is 1034
+mem/0: storing 1034 in location 1079
+run/0: instruction print-character/7
+run/0: {name: "width", value: 5, type: 1, properties: ["width": "integer"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "num-columns", value: 1, type: 0, properties: ["num-columns": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1076 is 1031
+run/0: ingredient 1 is num-columns
+run/0: address to copy is 1032
+run/0: its type is 1
+mem/0: location 1032 is 3
+run/0: product 0 is 3
+mem/0: storing 3 in location 1080
+run/0: instruction print-character/8
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- multiply/4 {name: "row", value: 3, type: 2-1, properties: ["row": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is row
+mem/0: location 1078 is 1033
+mem/0: location 1033 is 0
+run/0: ingredient 1 is width
+mem/0: location 1080 is 3
+run/0: ingredient 1 is 3
+run/0: product 0 is 0
+mem/0: storing 0 in location 1081
+run/0: instruction print-character/9
+run/0: {name: "index", value: 6, type: 1, properties: ["index": "integer"]} <- add/2 {name: "index", value: 6, type: 1, properties: ["index": "integer"]}, {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}
+run/0: ingredient 0 is index
+mem/0: location 1081 is 0
+run/0: ingredient 1 is column
+mem/0: location 1079 is 1034
+mem/0: location 1034 is 0
+run/0: product 0 is 0
+mem/0: storing 0 in location 1081
+run/0: instruction print-character/10
+run/0: {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character"]} <- get/24 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "deref": ]}, {name: "data", value: 4, type: 0, properties: ["data": "offset"]}
+run/0: ingredient 0 is x
+mem/0: location 1076 is 1031
+run/0: ingredient 1 is data
+run/0: address to copy is 1035
+run/0: its type is 2
+mem/0: location 1035 is 1036
+run/0: product 0 is 1036
+mem/0: storing 1036 in location 1082
+run/0: instruction print-character/11
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character"]} <- index-address/27 {name: "buf", value: 7, type: 2-5-4, properties: ["buf": "address":"array":"character", "deref": ]}, {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+run/0: ingredient 0 is buf
+mem/0: location 1082 is 1036
+run/0: ingredient 1 is {name: "index", value: 6, type: 1, properties: ["index": "integer"]}
+mem/0: location 1081 is 0
+run/0: address to copy is 1037
+run/0: product 0 is 1037
+mem/0: storing 1037 in location 1083
+run/0: instruction print-character/12
+run/0: {name: "cursor", value: 8, type: 2-4, properties: ["cursor": "address":"character", "deref": ]} <- copy/1 {name: "c", value: 2, type: 4, properties: ["c": "character"]}
+run/0: ingredient 0 is c
+mem/0: location 1077 is 97
+mem/0: location 1083 is 1037
+mem/0: storing 97 in location 1037
+run/0: instruction print-character/14
+run/0: {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]} <- equal/13 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "width", value: 5, type: 1, properties: ["width": "integer"]}
+run/0: ingredient 0 is column
+mem/0: location 1079 is 1034
+mem/0: location 1034 is 0
+run/0: ingredient 1 is width
+mem/0: location 1080 is 3
+run/0: product 0 is 0
+mem/0: storing 0 in location 1084
+run/0: instruction print-character/15
+run/0: break-if/11 {name: "at-right?", value: 9, type: 3, properties: ["at-right?": "boolean"]}, {name: "", value: 1, type: , properties: ["": ]}
+mem/0: location 1084 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction print-character/16
+run/0: {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]} <- add/2 {name: "column", value: 4, type: 2-1, properties: ["column": "address":"integer", "deref": ]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: ingredient 0 is column
+mem/0: location 1079 is 1034
+mem/0: location 1034 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: location 1079 is 1034
+mem/0: storing 1 in location 1034
+run/0: instruction print-character/18
+run/0: reply/33 {name: "x", value: 1, type: 2-11, properties: ["x": "address":"screen", "same-as-ingredient": "0"]}
+mem/0: location 1076 is 1031
+run/0: result 0 is 1031
+mem/0: storing 1031 in location 999
+run/0: instruction print-character-at-top-left2/2
+run/0: screen-should-contain/59 {name: "
+    .a  .
+    .   .
+  ", value: 0, type: 0, properties: ["
+    .a  .
+    .   .
+  ": "literal-string"]}
+run/0: checking screen size at 1036
+run/0: checking location 1037
+run/0: checking location 1038
+run/0: checking location 1039
+run/0: checking location 1040
+run/0: checking location 1041
+run/0: checking location 1042
diff --git a/cpp/073scenario_screen_test.mu b/cpp/073scenario_screen_test.mu
new file mode 100644
index 00000000..fa1a026c
--- /dev/null
+++ b/cpp/073scenario_screen_test.mu
@@ -0,0 +1,29 @@
+# To check our support for screens in scenarios, rewrite tests from print.mu
+
+scenario print-character-at-top-left2 [
+  assume-screen 3:literal/width, 2:literal/height
+  run [
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+  ]
+  screen-should-contain [
+    .a  .
+    .   .
+  ]
+]
+
+scenario clear-line-erases-printed-characters2 [
+  assume-screen 5:literal/width, 3:literal/height
+  run [
+    # print a character
+    screen:address <- print-character screen:address, 97:literal  # 'a'
+    # move cursor to start of line
+    screen:address <- move-cursor screen:address, 0:literal/row, 0:literal/column
+    # clear line
+    screen:address <- clear-line screen:address
+  ]
+  screen-should-contain [
+    .     .
+    .     .
+    .     .
+  ]
+]