about summary refs log tree commit diff stats
path: root/cpp
diff options
context:
space:
mode:
Diffstat (limited to 'cpp')
-rw-r--r--cpp/.traces/string-append-1759
-rw-r--r--cpp/060string.mu70
2 files changed, 829 insertions, 0 deletions
diff --git a/cpp/.traces/string-append-1 b/cpp/.traces/string-append-1
new file mode 100644
index 00000000..6af54b66
--- /dev/null
+++ b/cpp/.traces/string-append-1
@@ -0,0 +1,759 @@
+parse/0: instruction: 33
+parse/0:   ingredient: {name: "hello,", value: 0, type: 0, properties: ["hello,": "literal-string"]}
+parse/0:   product: {name: "1", value: 0, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]}
+parse/0: instruction: 33
+parse/0:   ingredient: {name: " world!", value: 0, type: 0, properties: [" world!": "literal-string"]}
+parse/0:   product: {name: "2", value: 0, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]}
+parse/0: instruction: 106
+parse/0:   ingredient: {name: "1", value: 0, type: 2-5-4, properties: ["1": "address":"array":"character", "raw": ]}
+parse/0:   ingredient: {name: "2", value: 0, type: 2-5-4, properties: ["2": "address":"array":"character", "raw": ]}
+parse/0:   product: {name: "3", value: 0, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": ]}
+parse/0: instruction: 1
+parse/0:   ingredient: {name: "3", value: 0, type: 2-5-4, properties: ["3": "address":"array":"character", "raw": , "deref": ]}
+parse/0:   product: {name: "4", value: 0, type: 5-4, properties: ["4": "array":"character", "raw": ]}
+new/0: hello, -> 0
+new/0:  world! -> 0
+after-brace/0: recipe test-string-append-1
+after-brace/0: new ...
+after-brace/0: new ...
+after-brace/0: string-append ...
+after-brace/0: copy ...
+run/0: instruction test-string-append-1/0
+mem/0: storing 1000 in location 1
+run/0: instruction test-string-append-1/1
+mem/0: storing 1007 in location 2
+run/0: instruction test-string-append-1/2
+mem/0: location 1 is 1000
+mem/0: location 2 is 1007
+run/0: instruction string-append/0
+mem/0: new alloc: 1015
+mem/0: array size is 30
+run/0: instruction string-append/1
+run/0: product 0 is 1000
+mem/0: storing 1000 in location 1017
+run/0: instruction string-append/2
+mem/0: location 1017 is 1000
+mem/0: storing 6 in location 1018
+run/0: instruction string-append/3
+run/0: product 0 is 1007
+mem/0: storing 1007 in location 1019
+run/0: instruction string-append/4
+mem/0: location 1019 is 1007
+mem/0: storing 7 in location 1020
+run/0: instruction string-append/5
+run/0: ingredient 0 is a-len
+mem/0: location 1018 is 6
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 13
+mem/0: storing 13 in location 1021
+run/0: instruction string-append/6
+mem/0: new alloc: 1045
+mem/0: storing 1045 in location 1022
+mem/0: location 1021 is 13
+mem/0: array size is 13
+run/0: instruction string-append/7
+run/0: ingredient 0 is 0
+mem/0: storing 0 in location 1023
+run/0: instruction string-append/8
+run/0: ingredient 0 is 0
+mem/0: storing 0 in location 1024
+run/0: instruction string-append/10
+run/0: ingredient 0 is i
+mem/0: location 1024 is 0
+run/0: ingredient 1 is a-len
+mem/0: location 1018 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1025
+run/0: instruction string-append/11
+mem/0: location 1025 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/12
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 0
+run/0: address to copy is 1046
+run/0: product 0 is 1046
+mem/0: storing 1046 in location 1026
+run/0: instruction string-append/13
+run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
+mem/0: location 1017 is 1000
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 0
+run/0: address to copy is 1001
+run/0: its type is 4
+mem/0: location 1001 is 104
+run/0: product 0 is 104
+mem/0: storing 104 in location 1027
+run/0: instruction string-append/14
+run/0: ingredient 0 is in
+mem/0: location 1027 is 104
+mem/0: location 1026 is 1046
+mem/0: storing 104 in location 1046
+run/0: instruction string-append/15
+run/0: ingredient 0 is i
+mem/0: location 1024 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: storing 1 in location 1024
+run/0: instruction string-append/16
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: storing 1 in location 1023
+run/0: instruction string-append/17
+run/0: ingredient 0 is -8
+run/0: pc now 9
+run/0: instruction string-append/10
+run/0: ingredient 0 is i
+mem/0: location 1024 is 1
+run/0: ingredient 1 is a-len
+mem/0: location 1018 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1025
+run/0: instruction string-append/11
+mem/0: location 1025 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/12
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 1
+run/0: address to copy is 1047
+run/0: product 0 is 1047
+mem/0: storing 1047 in location 1026
+run/0: instruction string-append/13
+run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
+mem/0: location 1017 is 1000
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 1
+run/0: address to copy is 1002
+run/0: its type is 4
+mem/0: location 1002 is 101
+run/0: product 0 is 101
+mem/0: storing 101 in location 1027
+run/0: instruction string-append/14
+run/0: ingredient 0 is in
+mem/0: location 1027 is 101
+mem/0: location 1026 is 1047
+mem/0: storing 101 in location 1047
+run/0: instruction string-append/15
+run/0: ingredient 0 is i
+mem/0: location 1024 is 1
+run/0: ingredient 1 is 1
+run/0: product 0 is 2
+mem/0: storing 2 in location 1024
+run/0: instruction string-append/16
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 1
+run/0: ingredient 1 is 1
+run/0: product 0 is 2
+mem/0: storing 2 in location 1023
+run/0: instruction string-append/17
+run/0: ingredient 0 is -8
+run/0: pc now 9
+run/0: instruction string-append/10
+run/0: ingredient 0 is i
+mem/0: location 1024 is 2
+run/0: ingredient 1 is a-len
+mem/0: location 1018 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1025
+run/0: instruction string-append/11
+mem/0: location 1025 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/12
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 2
+run/0: address to copy is 1048
+run/0: product 0 is 1048
+mem/0: storing 1048 in location 1026
+run/0: instruction string-append/13
+run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
+mem/0: location 1017 is 1000
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 2
+run/0: address to copy is 1003
+run/0: its type is 4
+mem/0: location 1003 is 108
+run/0: product 0 is 108
+mem/0: storing 108 in location 1027
+run/0: instruction string-append/14
+run/0: ingredient 0 is in
+mem/0: location 1027 is 108
+mem/0: location 1026 is 1048
+mem/0: storing 108 in location 1048
+run/0: instruction string-append/15
+run/0: ingredient 0 is i
+mem/0: location 1024 is 2
+run/0: ingredient 1 is 1
+run/0: product 0 is 3
+mem/0: storing 3 in location 1024
+run/0: instruction string-append/16
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 2
+run/0: ingredient 1 is 1
+run/0: product 0 is 3
+mem/0: storing 3 in location 1023
+run/0: instruction string-append/17
+run/0: ingredient 0 is -8
+run/0: pc now 9
+run/0: instruction string-append/10
+run/0: ingredient 0 is i
+mem/0: location 1024 is 3
+run/0: ingredient 1 is a-len
+mem/0: location 1018 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1025
+run/0: instruction string-append/11
+mem/0: location 1025 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/12
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 3
+run/0: address to copy is 1049
+run/0: product 0 is 1049
+mem/0: storing 1049 in location 1026
+run/0: instruction string-append/13
+run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
+mem/0: location 1017 is 1000
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 3
+run/0: address to copy is 1004
+run/0: its type is 4
+mem/0: location 1004 is 108
+run/0: product 0 is 108
+mem/0: storing 108 in location 1027
+run/0: instruction string-append/14
+run/0: ingredient 0 is in
+mem/0: location 1027 is 108
+mem/0: location 1026 is 1049
+mem/0: storing 108 in location 1049
+run/0: instruction string-append/15
+run/0: ingredient 0 is i
+mem/0: location 1024 is 3
+run/0: ingredient 1 is 1
+run/0: product 0 is 4
+mem/0: storing 4 in location 1024
+run/0: instruction string-append/16
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 3
+run/0: ingredient 1 is 1
+run/0: product 0 is 4
+mem/0: storing 4 in location 1023
+run/0: instruction string-append/17
+run/0: ingredient 0 is -8
+run/0: pc now 9
+run/0: instruction string-append/10
+run/0: ingredient 0 is i
+mem/0: location 1024 is 4
+run/0: ingredient 1 is a-len
+mem/0: location 1018 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1025
+run/0: instruction string-append/11
+mem/0: location 1025 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/12
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 4
+run/0: address to copy is 1050
+run/0: product 0 is 1050
+mem/0: storing 1050 in location 1026
+run/0: instruction string-append/13
+run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
+mem/0: location 1017 is 1000
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 4
+run/0: address to copy is 1005
+run/0: its type is 4
+mem/0: location 1005 is 111
+run/0: product 0 is 111
+mem/0: storing 111 in location 1027
+run/0: instruction string-append/14
+run/0: ingredient 0 is in
+mem/0: location 1027 is 111
+mem/0: location 1026 is 1050
+mem/0: storing 111 in location 1050
+run/0: instruction string-append/15
+run/0: ingredient 0 is i
+mem/0: location 1024 is 4
+run/0: ingredient 1 is 1
+run/0: product 0 is 5
+mem/0: storing 5 in location 1024
+run/0: instruction string-append/16
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 4
+run/0: ingredient 1 is 1
+run/0: product 0 is 5
+mem/0: storing 5 in location 1023
+run/0: instruction string-append/17
+run/0: ingredient 0 is -8
+run/0: pc now 9
+run/0: instruction string-append/10
+run/0: ingredient 0 is i
+mem/0: location 1024 is 5
+run/0: ingredient 1 is a-len
+mem/0: location 1018 is 6
+run/0: product 0 is 0
+mem/0: storing 0 in location 1025
+run/0: instruction string-append/11
+mem/0: location 1025 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/12
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 5
+run/0: address to copy is 1051
+run/0: product 0 is 1051
+mem/0: storing 1051 in location 1026
+run/0: instruction string-append/13
+run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-4, properties: ["a": "address":"array":"character", "deref": ]}
+mem/0: location 1017 is 1000
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 5
+run/0: address to copy is 1006
+run/0: its type is 4
+mem/0: location 1006 is 44
+run/0: product 0 is 44
+mem/0: storing 44 in location 1027
+run/0: instruction string-append/14
+run/0: ingredient 0 is in
+mem/0: location 1027 is 44
+mem/0: location 1026 is 1051
+mem/0: storing 44 in location 1051
+run/0: instruction string-append/15
+run/0: ingredient 0 is i
+mem/0: location 1024 is 5
+run/0: ingredient 1 is 1
+run/0: product 0 is 6
+mem/0: storing 6 in location 1024
+run/0: instruction string-append/16
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 5
+run/0: ingredient 1 is 1
+run/0: product 0 is 6
+mem/0: storing 6 in location 1023
+run/0: instruction string-append/17
+run/0: ingredient 0 is -8
+run/0: pc now 9
+run/0: instruction string-append/10
+run/0: ingredient 0 is i
+mem/0: location 1024 is 6
+run/0: ingredient 1 is a-len
+mem/0: location 1018 is 6
+run/0: product 0 is 1
+mem/0: storing 1 in location 1025
+run/0: instruction string-append/11
+mem/0: location 1025 is 1
+run/0: ingredient 0 is 1
+run/0: ingredient 1 is 
+run/0: jumping to instruction 18
+run/0: instruction string-append/19
+run/0: ingredient 0 is 0
+mem/0: storing 0 in location 1024
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 0
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 0
+mem/0: storing 0 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/23
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 6
+run/0: address to copy is 1052
+run/0: product 0 is 1052
+mem/0: storing 1052 in location 1026
+run/0: instruction string-append/24
+run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
+mem/0: location 1019 is 1007
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 0
+run/0: address to copy is 1008
+run/0: its type is 4
+mem/0: location 1008 is 32
+run/0: product 0 is 32
+mem/0: storing 32 in location 1027
+run/0: instruction string-append/25
+run/0: ingredient 0 is in
+mem/0: location 1027 is 32
+mem/0: location 1026 is 1052
+mem/0: storing 32 in location 1052
+run/0: instruction string-append/26
+run/0: ingredient 0 is i
+mem/0: location 1024 is 0
+run/0: ingredient 1 is 1
+run/0: product 0 is 1
+mem/0: storing 1 in location 1024
+run/0: instruction string-append/27
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 6
+run/0: ingredient 1 is 1
+run/0: product 0 is 7
+mem/0: storing 7 in location 1023
+run/0: instruction string-append/28
+run/0: ingredient 0 is -8
+run/0: pc now 20
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 1
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 0
+mem/0: storing 0 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/23
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 7
+run/0: address to copy is 1053
+run/0: product 0 is 1053
+mem/0: storing 1053 in location 1026
+run/0: instruction string-append/24
+run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
+mem/0: location 1019 is 1007
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 1
+run/0: address to copy is 1009
+run/0: its type is 4
+mem/0: location 1009 is 119
+run/0: product 0 is 119
+mem/0: storing 119 in location 1027
+run/0: instruction string-append/25
+run/0: ingredient 0 is in
+mem/0: location 1027 is 119
+mem/0: location 1026 is 1053
+mem/0: storing 119 in location 1053
+run/0: instruction string-append/26
+run/0: ingredient 0 is i
+mem/0: location 1024 is 1
+run/0: ingredient 1 is 1
+run/0: product 0 is 2
+mem/0: storing 2 in location 1024
+run/0: instruction string-append/27
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 7
+run/0: ingredient 1 is 1
+run/0: product 0 is 8
+mem/0: storing 8 in location 1023
+run/0: instruction string-append/28
+run/0: ingredient 0 is -8
+run/0: pc now 20
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 2
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 0
+mem/0: storing 0 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/23
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 8
+run/0: address to copy is 1054
+run/0: product 0 is 1054
+mem/0: storing 1054 in location 1026
+run/0: instruction string-append/24
+run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
+mem/0: location 1019 is 1007
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 2
+run/0: address to copy is 1010
+run/0: its type is 4
+mem/0: location 1010 is 111
+run/0: product 0 is 111
+mem/0: storing 111 in location 1027
+run/0: instruction string-append/25
+run/0: ingredient 0 is in
+mem/0: location 1027 is 111
+mem/0: location 1026 is 1054
+mem/0: storing 111 in location 1054
+run/0: instruction string-append/26
+run/0: ingredient 0 is i
+mem/0: location 1024 is 2
+run/0: ingredient 1 is 1
+run/0: product 0 is 3
+mem/0: storing 3 in location 1024
+run/0: instruction string-append/27
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 8
+run/0: ingredient 1 is 1
+run/0: product 0 is 9
+mem/0: storing 9 in location 1023
+run/0: instruction string-append/28
+run/0: ingredient 0 is -8
+run/0: pc now 20
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 3
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 0
+mem/0: storing 0 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/23
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 9
+run/0: address to copy is 1055
+run/0: product 0 is 1055
+mem/0: storing 1055 in location 1026
+run/0: instruction string-append/24
+run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
+mem/0: location 1019 is 1007
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 3
+run/0: address to copy is 1011
+run/0: its type is 4
+mem/0: location 1011 is 114
+run/0: product 0 is 114
+mem/0: storing 114 in location 1027
+run/0: instruction string-append/25
+run/0: ingredient 0 is in
+mem/0: location 1027 is 114
+mem/0: location 1026 is 1055
+mem/0: storing 114 in location 1055
+run/0: instruction string-append/26
+run/0: ingredient 0 is i
+mem/0: location 1024 is 3
+run/0: ingredient 1 is 1
+run/0: product 0 is 4
+mem/0: storing 4 in location 1024
+run/0: instruction string-append/27
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 9
+run/0: ingredient 1 is 1
+run/0: product 0 is 10
+mem/0: storing 10 in location 1023
+run/0: instruction string-append/28
+run/0: ingredient 0 is -8
+run/0: pc now 20
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 4
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 0
+mem/0: storing 0 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/23
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 10
+run/0: address to copy is 1056
+run/0: product 0 is 1056
+mem/0: storing 1056 in location 1026
+run/0: instruction string-append/24
+run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
+mem/0: location 1019 is 1007
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 4
+run/0: address to copy is 1012
+run/0: its type is 4
+mem/0: location 1012 is 108
+run/0: product 0 is 108
+mem/0: storing 108 in location 1027
+run/0: instruction string-append/25
+run/0: ingredient 0 is in
+mem/0: location 1027 is 108
+mem/0: location 1026 is 1056
+mem/0: storing 108 in location 1056
+run/0: instruction string-append/26
+run/0: ingredient 0 is i
+mem/0: location 1024 is 4
+run/0: ingredient 1 is 1
+run/0: product 0 is 5
+mem/0: storing 5 in location 1024
+run/0: instruction string-append/27
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 10
+run/0: ingredient 1 is 1
+run/0: product 0 is 11
+mem/0: storing 11 in location 1023
+run/0: instruction string-append/28
+run/0: ingredient 0 is -8
+run/0: pc now 20
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 5
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 0
+mem/0: storing 0 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/23
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 11
+run/0: address to copy is 1057
+run/0: product 0 is 1057
+mem/0: storing 1057 in location 1026
+run/0: instruction string-append/24
+run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
+mem/0: location 1019 is 1007
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 5
+run/0: address to copy is 1013
+run/0: its type is 4
+mem/0: location 1013 is 100
+run/0: product 0 is 100
+mem/0: storing 100 in location 1027
+run/0: instruction string-append/25
+run/0: ingredient 0 is in
+mem/0: location 1027 is 100
+mem/0: location 1026 is 1057
+mem/0: storing 100 in location 1057
+run/0: instruction string-append/26
+run/0: ingredient 0 is i
+mem/0: location 1024 is 5
+run/0: ingredient 1 is 1
+run/0: product 0 is 6
+mem/0: storing 6 in location 1024
+run/0: instruction string-append/27
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 11
+run/0: ingredient 1 is 1
+run/0: product 0 is 12
+mem/0: storing 12 in location 1023
+run/0: instruction string-append/28
+run/0: ingredient 0 is -8
+run/0: pc now 20
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 6
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 0
+mem/0: storing 0 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 0
+run/0: ingredient 0 is 0
+run/0: jump-if fell through
+run/0: instruction string-append/23
+run/0: ingredient 0 is result
+mem/0: location 1022 is 1045
+run/0: ingredient 1 is {name: "result-idx", value: 7, type: 1, properties: ["result-idx": "integer"]}
+mem/0: location 1023 is 12
+run/0: address to copy is 1058
+run/0: product 0 is 1058
+mem/0: storing 1058 in location 1026
+run/0: instruction string-append/24
+run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-4, properties: ["b": "address":"array":"character", "deref": ]}
+mem/0: location 1019 is 1007
+run/0: ingredient 1 is {name: "i", value: 8, type: 1, properties: ["i": "integer"]}
+mem/0: location 1024 is 6
+run/0: address to copy is 1014
+run/0: its type is 4
+mem/0: location 1014 is 33
+run/0: product 0 is 33
+mem/0: storing 33 in location 1027
+run/0: instruction string-append/25
+run/0: ingredient 0 is in
+mem/0: location 1027 is 33
+mem/0: location 1026 is 1058
+mem/0: storing 33 in location 1058
+run/0: instruction string-append/26
+run/0: ingredient 0 is i
+mem/0: location 1024 is 6
+run/0: ingredient 1 is 1
+run/0: product 0 is 7
+mem/0: storing 7 in location 1024
+run/0: instruction string-append/27
+run/0: ingredient 0 is result-idx
+mem/0: location 1023 is 12
+run/0: ingredient 1 is 1
+run/0: product 0 is 13
+mem/0: storing 13 in location 1023
+run/0: instruction string-append/28
+run/0: ingredient 0 is -8
+run/0: pc now 20
+run/0: instruction string-append/21
+run/0: ingredient 0 is i
+mem/0: location 1024 is 7
+run/0: ingredient 1 is b-len
+mem/0: location 1020 is 7
+run/0: product 0 is 1
+mem/0: storing 1 in location 1028
+run/0: instruction string-append/22
+mem/0: location 1028 is 1
+run/0: ingredient 0 is 1
+run/0: ingredient 1 is 
+run/0: jumping to instruction 29
+run/0: instruction string-append/30
+mem/0: location 1022 is 1045
+run/0: result 0 is 1045
+mem/0: storing 1045 in location 3
+run/0: instruction test-string-append-1/3
+run/0: ingredient 0 is 3
+mem/0: location 3 is 1045
+mem/0: location 1045 is 13
+mem/0: location 1046 is 104
+mem/0: location 1047 is 101
+mem/0: location 1048 is 108
+mem/0: location 1049 is 108
+mem/0: location 1050 is 111
+mem/0: location 1051 is 44
+mem/0: location 1052 is 32
+mem/0: location 1053 is 119
+mem/0: location 1054 is 111
+mem/0: location 1055 is 114
+mem/0: location 1056 is 108
+mem/0: location 1057 is 100
+mem/0: location 1058 is 33
+mem/0: storing 13 in location 4
+mem/0: storing 104 in location 5
+mem/0: storing 101 in location 6
+mem/0: storing 108 in location 7
+mem/0: storing 108 in location 8
+mem/0: storing 111 in location 9
+mem/0: storing 44 in location 10
+mem/0: storing 32 in location 11
+mem/0: storing 119 in location 12
+mem/0: storing 111 in location 13
+mem/0: storing 114 in location 14
+mem/0: storing 108 in location 15
+mem/0: storing 100 in location 16
+mem/0: storing 33 in location 17
diff --git a/cpp/060string.mu b/cpp/060string.mu
index d81cdf13..3723df2d 100644
--- a/cpp/060string.mu
+++ b/cpp/060string.mu
@@ -323,3 +323,73 @@ scenario integer-to-decimal-digit-negative [
     4 <- 49  # '1'
   ]
 ]
+
+recipe string-append [
+  default-space:address:space <- new location:type, 30:literal
+  # result = new string[a.length + b.length]
+  a:address:array:character <- next-ingredient
+  a-len:integer <- length a:address:array:character/deref
+  b:address:array:character <- next-ingredient
+  b-len:integer <- length b:address:array:character/deref
+  result-len:integer <- add a-len:integer, b-len:integer
+  result:address:array:character <- new character:type, result-len:integer
+  # copy a into result
+  result-idx:integer <- copy 0:literal
+  i:integer <- copy 0:literal
+  {
+    # while i < a.length
+    a-done?:boolean <- greater-or-equal i:integer, a-len:integer
+    break-if a-done?:boolean
+    # result[result-idx] = a[i]
+    out:address:character <- index-address result:address:array:character/deref, result-idx:integer
+    in:character <- index a:address:array:character/deref, i:integer
+    out:address:character/deref <- copy in:character
+    # ++i
+    i:integer <- add i:integer, 1:literal
+    # ++result-idx
+    result-idx:integer <- add result-idx:integer, 1:literal
+    loop
+  }
+  # copy b into result
+  i:integer <- copy 0:literal
+  {
+    # while i < b.length
+    b-done?:boolean <- greater-or-equal i:integer, b-len:integer
+    break-if b-done?:boolean
+    # result[result-idx] = a[i]
+    out:address:character <- index-address result:address:array:character/deref, result-idx:integer
+    in:character <- index b:address:array:character/deref, i:integer
+    out:address:character/deref <- copy in:character
+    # ++i
+    i:integer <- add i:integer, 1:literal
+    # ++result-idx
+    result-idx:integer <- add result-idx:integer, 1:literal
+    loop
+  }
+  reply result:address:array:character
+]
+
+scenario string-append-1 [
+  run [
+    1:address:array:character/raw <- new [hello,]
+    2:address:array:character/raw <- new [ world!]
+    3:address:array:character/raw <- string-append 1:address:array:character/raw, 2:address:array:character/raw
+    4:array:character/raw <- copy 3:address:array:character/raw/deref
+  ]
+  memory should contain [
+    4 <- 13
+    5 <- 104  # 'h'
+    6 <- 101  # 'e'
+    7 <- 108  # 'l'
+    8 <- 108  # 'l'
+    9 <- 111  # 'o'
+    10 <- 44  # ','
+    11 <- 32  # ' '
+    12 <- 119  # 'w'
+    13 <- 111  # 'o'
+    14 <- 114  # 'r'
+    15 <- 108  # 'l'
+    16 <- 100  # 'd'
+    17 <- 33  # '!'
+  ]
+]