From 39f77cc54ea08cd1feac8796aaa617d00a35f835 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 11 Apr 2015 22:24:33 -0700
Subject: 1050

---
 .../string-equal-common-lengths-but-distinct       | 64 +++++++++---------
 cpp/.traces/string-equal-distinct-lengths          |  6 +-
 cpp/.traces/string-equal-identical                 | 78 ++++++++++++----------
 cpp/.traces/string-equal-reflexive                 | 78 ++++++++++++----------
 cpp/.traces/string-equal-with-empty                |  6 +-
 cpp/040string.mu                                   |  2 +
 6 files changed, 126 insertions(+), 108 deletions(-)

diff --git a/cpp/.traces/string-equal-common-lengths-but-distinct b/cpp/.traces/string-equal-common-lengths-but-distinct
index ac5a12ce..58112874 100644
--- a/cpp/.traces/string-equal-common-lengths-but-distinct
+++ b/cpp/.traces/string-equal-common-lengths-but-distinct
@@ -46,32 +46,36 @@ run/0: instruction string-equal/4
 mem/0: location 1042 is 1034
 mem/0: storing 3 in location 1043
 run/0: instruction string-equal/6
+string-equal/0: comparing lengths
+run/0: instruction string-equal/7
 run/0: ingredient 0 is a-len
 mem/0: location 1041 is 3
 run/0: ingredient 1 is b-len
 mem/0: location 1043 is 3
 run/0: product 0 is 1
 mem/0: storing 1 in location 1044
-run/0: instruction string-equal/7
+run/0: instruction string-equal/8
 mem/0: location 1044 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 9
-run/0: instruction string-equal/10
+run/0: jumping to instruction 10
+run/0: instruction string-equal/11
+string-equal/0: comparing characters
+run/0: instruction string-equal/12
 run/0: ingredient 0 is 0
 mem/0: storing 0 in location 1045
-run/0: instruction string-equal/12
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1045 is 0
 run/0: ingredient 1 is a-len
 mem/0: location 1041 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1046
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1046 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1040 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -81,7 +85,7 @@ run/0: its type is 8
 mem/0: location 1031 is 97
 run/0: product 0 is 97
 mem/0: storing 97 in location 1047
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1042 is 1034
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -91,39 +95,39 @@ run/0: its type is 8
 mem/0: location 1035 is 97
 run/0: product 0 is 97
 mem/0: storing 97 in location 1048
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1047 is 97
 run/0: ingredient 1 is b2
 mem/0: location 1048 is 97
 run/0: product 0 is 1
 mem/0: storing 1 in location 1049
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1049 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1045 is 0
 run/0: ingredient 1 is 1
 run/0: product 0 is 1
 mem/0: storing 1 in location 1045
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1045 is 1
 run/0: ingredient 1 is a-len
 mem/0: location 1041 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1046
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1046 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1040 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -133,7 +137,7 @@ run/0: its type is 8
 mem/0: location 1032 is 98
 run/0: product 0 is 98
 mem/0: storing 98 in location 1047
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1042 is 1034
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -143,39 +147,39 @@ run/0: its type is 8
 mem/0: location 1036 is 98
 run/0: product 0 is 98
 mem/0: storing 98 in location 1048
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1047 is 98
 run/0: ingredient 1 is b2
 mem/0: location 1048 is 98
 run/0: product 0 is 1
 mem/0: storing 1 in location 1049
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1049 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1045 is 1
 run/0: ingredient 1 is 1
 run/0: product 0 is 2
 mem/0: storing 2 in location 1045
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1045 is 2
 run/0: ingredient 1 is a-len
 mem/0: location 1041 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1046
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1046 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1040 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -185,7 +189,7 @@ run/0: its type is 8
 mem/0: location 1033 is 99
 run/0: product 0 is 99
 mem/0: storing 99 in location 1047
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1042 is 1034
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -195,17 +199,17 @@ run/0: its type is 8
 mem/0: location 1037 is 100
 run/0: product 0 is 100
 mem/0: storing 100 in location 1048
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1047 is 99
 run/0: ingredient 1 is b2
 mem/0: location 1048 is 100
 run/0: product 0 is 0
 mem/0: storing 0 in location 1049
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1049 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/19
+run/0: instruction string-equal/21
 run/0: result 0 is 0
 mem/0: storing 0 in location 3
diff --git a/cpp/.traces/string-equal-distinct-lengths b/cpp/.traces/string-equal-distinct-lengths
index 98444b85..6008eaf4 100644
--- a/cpp/.traces/string-equal-distinct-lengths
+++ b/cpp/.traces/string-equal-distinct-lengths
@@ -46,16 +46,18 @@ run/0: instruction string-equal/4
 mem/0: location 1043 is 1034
 mem/0: storing 4 in location 1044
 run/0: instruction string-equal/6
+string-equal/0: comparing lengths
+run/0: instruction string-equal/7
 run/0: ingredient 0 is a-len
 mem/0: location 1042 is 3
 run/0: ingredient 1 is b-len
 mem/0: location 1044 is 4
 run/0: product 0 is 0
 mem/0: storing 0 in location 1045
-run/0: instruction string-equal/7
+run/0: instruction string-equal/8
 mem/0: location 1045 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/8
+run/0: instruction string-equal/9
 run/0: result 0 is 0
 mem/0: storing 0 in location 3
diff --git a/cpp/.traces/string-equal-identical b/cpp/.traces/string-equal-identical
index 4a878121..ad2db713 100644
--- a/cpp/.traces/string-equal-identical
+++ b/cpp/.traces/string-equal-identical
@@ -46,32 +46,36 @@ run/0: instruction string-equal/4
 mem/0: location 1042 is 1034
 mem/0: storing 3 in location 1043
 run/0: instruction string-equal/6
+string-equal/0: comparing lengths
+run/0: instruction string-equal/7
 run/0: ingredient 0 is a-len
 mem/0: location 1041 is 3
 run/0: ingredient 1 is b-len
 mem/0: location 1043 is 3
 run/0: product 0 is 1
 mem/0: storing 1 in location 1044
-run/0: instruction string-equal/7
+run/0: instruction string-equal/8
 mem/0: location 1044 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 9
-run/0: instruction string-equal/10
+run/0: jumping to instruction 10
+run/0: instruction string-equal/11
+string-equal/0: comparing characters
+run/0: instruction string-equal/12
 run/0: ingredient 0 is 0
 mem/0: storing 0 in location 1045
-run/0: instruction string-equal/12
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1045 is 0
 run/0: ingredient 1 is a-len
 mem/0: location 1041 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1046
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1046 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1040 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -81,7 +85,7 @@ run/0: its type is 8
 mem/0: location 1031 is 97
 run/0: product 0 is 97
 mem/0: storing 97 in location 1047
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1042 is 1034
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -91,39 +95,39 @@ run/0: its type is 8
 mem/0: location 1035 is 97
 run/0: product 0 is 97
 mem/0: storing 97 in location 1048
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1047 is 97
 run/0: ingredient 1 is b2
 mem/0: location 1048 is 97
 run/0: product 0 is 1
 mem/0: storing 1 in location 1049
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1049 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1045 is 0
 run/0: ingredient 1 is 1
 run/0: product 0 is 1
 mem/0: storing 1 in location 1045
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1045 is 1
 run/0: ingredient 1 is a-len
 mem/0: location 1041 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1046
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1046 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1040 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -133,7 +137,7 @@ run/0: its type is 8
 mem/0: location 1032 is 98
 run/0: product 0 is 98
 mem/0: storing 98 in location 1047
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1042 is 1034
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -143,39 +147,39 @@ run/0: its type is 8
 mem/0: location 1036 is 98
 run/0: product 0 is 98
 mem/0: storing 98 in location 1048
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1047 is 98
 run/0: ingredient 1 is b2
 mem/0: location 1048 is 98
 run/0: product 0 is 1
 mem/0: storing 1 in location 1049
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1049 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1045 is 1
 run/0: ingredient 1 is 1
 run/0: product 0 is 2
 mem/0: storing 2 in location 1045
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1045 is 2
 run/0: ingredient 1 is a-len
 mem/0: location 1041 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1046
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1046 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1040 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -185,7 +189,7 @@ run/0: its type is 8
 mem/0: location 1033 is 99
 run/0: product 0 is 99
 mem/0: storing 99 in location 1047
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1042 is 1034
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -195,39 +199,39 @@ run/0: its type is 8
 mem/0: location 1037 is 99
 run/0: product 0 is 99
 mem/0: storing 99 in location 1048
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1047 is 99
 run/0: ingredient 1 is b2
 mem/0: location 1048 is 99
 run/0: product 0 is 1
 mem/0: storing 1 in location 1049
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1049 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1045 is 2
 run/0: ingredient 1 is 1
 run/0: product 0 is 3
 mem/0: storing 3 in location 1045
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1045 is 3
 run/0: ingredient 1 is a-len
 mem/0: location 1041 is 3
 run/0: product 0 is 1
 mem/0: storing 1 in location 1046
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1046 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 23
-run/0: instruction string-equal/24
+run/0: jumping to instruction 25
+run/0: instruction string-equal/26
 run/0: result 0 is 1
 mem/0: storing 1 in location 3
diff --git a/cpp/.traces/string-equal-reflexive b/cpp/.traces/string-equal-reflexive
index 11d0aadf..be1548bb 100644
--- a/cpp/.traces/string-equal-reflexive
+++ b/cpp/.traces/string-equal-reflexive
@@ -38,32 +38,36 @@ run/0: instruction string-equal/4
 mem/0: location 1038 is 1030
 mem/0: storing 3 in location 1039
 run/0: instruction string-equal/6
+string-equal/0: comparing lengths
+run/0: instruction string-equal/7
 run/0: ingredient 0 is a-len
 mem/0: location 1037 is 3
 run/0: ingredient 1 is b-len
 mem/0: location 1039 is 3
 run/0: product 0 is 1
 mem/0: storing 1 in location 1040
-run/0: instruction string-equal/7
+run/0: instruction string-equal/8
 mem/0: location 1040 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 9
-run/0: instruction string-equal/10
+run/0: jumping to instruction 10
+run/0: instruction string-equal/11
+string-equal/0: comparing characters
+run/0: instruction string-equal/12
 run/0: ingredient 0 is 0
 mem/0: storing 0 in location 1041
-run/0: instruction string-equal/12
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1041 is 0
 run/0: ingredient 1 is a-len
 mem/0: location 1037 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1042
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1042 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1036 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -73,7 +77,7 @@ run/0: its type is 8
 mem/0: location 1031 is 97
 run/0: product 0 is 97
 mem/0: storing 97 in location 1043
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1038 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -83,39 +87,39 @@ run/0: its type is 8
 mem/0: location 1031 is 97
 run/0: product 0 is 97
 mem/0: storing 97 in location 1044
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1043 is 97
 run/0: ingredient 1 is b2
 mem/0: location 1044 is 97
 run/0: product 0 is 1
 mem/0: storing 1 in location 1045
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1045 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1041 is 0
 run/0: ingredient 1 is 1
 run/0: product 0 is 1
 mem/0: storing 1 in location 1041
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1041 is 1
 run/0: ingredient 1 is a-len
 mem/0: location 1037 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1042
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1042 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1036 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -125,7 +129,7 @@ run/0: its type is 8
 mem/0: location 1032 is 98
 run/0: product 0 is 98
 mem/0: storing 98 in location 1043
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1038 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -135,39 +139,39 @@ run/0: its type is 8
 mem/0: location 1032 is 98
 run/0: product 0 is 98
 mem/0: storing 98 in location 1044
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1043 is 98
 run/0: ingredient 1 is b2
 mem/0: location 1044 is 98
 run/0: product 0 is 1
 mem/0: storing 1 in location 1045
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1045 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1041 is 1
 run/0: ingredient 1 is 1
 run/0: product 0 is 2
 mem/0: storing 2 in location 1041
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1041 is 2
 run/0: ingredient 1 is a-len
 mem/0: location 1037 is 3
 run/0: product 0 is 0
 mem/0: storing 0 in location 1042
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1042 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/14
+run/0: instruction string-equal/16
 run/0: ingredient 0 is {name: "a", value: 1, type: 2-5-8, properties: ["a": "address":"array":"character", "deref": ]}
 mem/0: location 1036 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -177,7 +181,7 @@ run/0: its type is 8
 mem/0: location 1033 is 99
 run/0: product 0 is 99
 mem/0: storing 99 in location 1043
-run/0: instruction string-equal/15
+run/0: instruction string-equal/17
 run/0: ingredient 0 is {name: "b", value: 3, type: 2-5-8, properties: ["b": "address":"array":"character", "deref": ]}
 mem/0: location 1038 is 1030
 run/0: ingredient 1 is {name: "i", value: 6, type: 1, properties: ["i": "integer"]}
@@ -187,39 +191,39 @@ run/0: its type is 8
 mem/0: location 1033 is 99
 run/0: product 0 is 99
 mem/0: storing 99 in location 1044
-run/0: instruction string-equal/17
+run/0: instruction string-equal/19
 run/0: ingredient 0 is a2
 mem/0: location 1043 is 99
 run/0: ingredient 1 is b2
 mem/0: location 1044 is 99
 run/0: product 0 is 1
 mem/0: storing 1 in location 1045
-run/0: instruction string-equal/18
+run/0: instruction string-equal/20
 mem/0: location 1045 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 20
-run/0: instruction string-equal/21
+run/0: jumping to instruction 22
+run/0: instruction string-equal/23
 run/0: ingredient 0 is i
 mem/0: location 1041 is 2
 run/0: ingredient 1 is 1
 run/0: product 0 is 3
 mem/0: storing 3 in location 1041
-run/0: instruction string-equal/22
+run/0: instruction string-equal/24
 run/0: ingredient 0 is -11
-run/0: pc now 11
-run/0: instruction string-equal/12
+run/0: pc now 13
+run/0: instruction string-equal/14
 run/0: ingredient 0 is i
 mem/0: location 1041 is 3
 run/0: ingredient 1 is a-len
 mem/0: location 1037 is 3
 run/0: product 0 is 1
 mem/0: storing 1 in location 1042
-run/0: instruction string-equal/13
+run/0: instruction string-equal/15
 mem/0: location 1042 is 1
 run/0: ingredient 0 is 1
 run/0: ingredient 1 is 
-run/0: jumping to instruction 23
-run/0: instruction string-equal/24
+run/0: jumping to instruction 25
+run/0: instruction string-equal/26
 run/0: result 0 is 1
 mem/0: storing 1 in location 3
diff --git a/cpp/.traces/string-equal-with-empty b/cpp/.traces/string-equal-with-empty
index 12dcd23f..13f64aac 100644
--- a/cpp/.traces/string-equal-with-empty
+++ b/cpp/.traces/string-equal-with-empty
@@ -46,16 +46,18 @@ run/0: instruction string-equal/4
 mem/0: location 1040 is 1031
 mem/0: storing 4 in location 1041
 run/0: instruction string-equal/6
+string-equal/0: comparing lengths
+run/0: instruction string-equal/7
 run/0: ingredient 0 is a-len
 mem/0: location 1039 is 0
 run/0: ingredient 1 is b-len
 mem/0: location 1041 is 4
 run/0: product 0 is 0
 mem/0: storing 0 in location 1042
-run/0: instruction string-equal/7
+run/0: instruction string-equal/8
 mem/0: location 1042 is 0
 run/0: ingredient 0 is 0
 run/0: jump-if fell through
-run/0: instruction string-equal/8
+run/0: instruction string-equal/9
 run/0: result 0 is 0
 mem/0: storing 0 in location 3
diff --git a/cpp/040string.mu b/cpp/040string.mu
index 17608e5f..b42fbc9c 100644
--- a/cpp/040string.mu
+++ b/cpp/040string.mu
@@ -6,11 +6,13 @@ recipe string-equal [
   b-len:integer <- length b:address:array:character/deref
   # compare lengths
   {
+    trace [string-equal], [comparing lengths]
     length-equal?:boolean <- equal a-len:integer, b-len:integer
     break-if length-equal?:boolean
     reply 0:literal
   }
   # compare each corresponding character
+  trace [string-equal], [comparing characters]
   i:integer <- copy 0:literal
   {
     done?:boolean <- greater-or-equal i:integer, a-len:integer
-- 
cgit 1.4.1-2-gfad0

ref='#n667'>667</a>
<a id='n668' href='#n668'>668</a>
<a id='n669' href='#n669'>669</a>
<a id='n670' href='#n670'>670</a>
<a id='n671' href='#n671'>671</a>
<a id='n672' href='#n672'>672</a>
<a id='n673' href='#n673'>673</a>
<a id='n674' href='#n674'>674</a>
<a id='n675' href='#n675'>675</a>
<a id='n676' href='#n676'>676</a>
<a id='n677' href='#n677'>677</a>
<a id='n678' href='#n678'>678</a>
<a id='n679' href='#n679'>679</a>
<a id='n680' href='#n680'>680</a>
<a id='n681' href='#n681'>681</a>
<a id='n682' href='#n682'>682</a>
<a id='n683' href='#n683'>683</a>
<a id='n684' href='#n684'>684</a>
<a id='n685' href='#n685'>685</a>
<a id='n686' href='#n686'>686</a>
<a id='n687' href='#n687'>687</a>
<a id='n688' href='#n688'>688</a>
<a id='n689' href='#n689'>689</a>
<a id='n690' href='#n690'>690</a>
<a id='n691' href='#n691'>691</a>
<a id='n692' href='#n692'>692</a>
<a id='n693' href='#n693'>693</a>
<a id='n694' href='#n694'>694</a>
<a id='n695' href='#n695'>695</a>
<a id='n696' href='#n696'>696</a>
<a id='n697' href='#n697'>697</a>
<a id='n698' href='#n698'>698</a>
<a id='n699' href='#n699'>699</a>
<a id='n700' href='#n700'>700</a>
<a id='n701' href='#n701'>701</a>
<a id='n702' href='#n702'>702</a>
<a id='n703' href='#n703'>703</a>
<a id='n704' href='#n704'>704</a>
<a id='n705' href='#n705'>705</a>
<a id='n706' href='#n706'>706</a>
<a id='n707' href='#n707'>707</a>
<a id='n708' href='#n708'>708</a>
<a id='n709' href='#n709'>709</a>
<a id='n710' href='#n710'>710</a>
<a id='n711' href='#n711'>711</a>
<a id='n712' href='#n712'>712</a>
<a id='n713' href='#n713'>713</a>
<a id='n714' href='#n714'>714</a>
<a id='n715' href='#n715'>715</a>
<a id='n716' href='#n716'>716</a>
<a id='n717' href='#n717'>717</a>
<a id='n718' href='#n718'>718</a>
<a id='n719' href='#n719'>719</a>
<a id='n720' href='#n720'>720</a>
<a id='n721' href='#n721'>721</a>
<a id='n722' href='#n722'>722</a>
<a id='n723' href='#n723'>723</a>
<a id='n724' href='#n724'>724</a>
<a id='n725' href='#n725'>725</a>
<a id='n726' href='#n726'>726</a>
<a id='n727' href='#n727'>727</a>
<a id='n728' href='#n728'>728</a>
<a id='n729' href='#n729'>729</a>
<a id='n730' href='#n730'>730</a>
<a id='n731' href='#n731'>731</a>
<a id='n732' href='#n732'>732</a>
<a id='n733' href='#n733'>733</a>
<a id='n734' href='#n734'>734</a>
<a id='n735' href='#n735'>735</a>
<a id='n736' href='#n736'>736</a>
<a id='n737' href='#n737'>737</a>
<a id='n738' href='#n738'>738</a>
<a id='n739' href='#n739'>739</a>
<a id='n740' href='#n740'>740</a>
<a id='n741' href='#n741'>741</a>
<a id='n742' href='#n742'>742</a>
<a id='n743' href='#n743'>743</a>
<a id='n744' href='#n744'>744</a>
<a id='n745' href='#n745'>745</a>
<a id='n746' href='#n746'>746</a>
<a id='n747' href='#n747'>747</a>
<a id='n748' href='#n748'>748</a>
<a id='n749' href='#n749'>749</a>
<a id='n750' href='#n750'>750</a>
<a id='n751' href='#n751'>751</a>
<a id='n752' href='#n752'>752</a>
<a id='n753' href='#n753'>753</a>
<a id='n754' href='#n754'>754</a>
<a id='n755' href='#n755'>755</a>
<a id='n756' href='#n756'>756</a>
<a id='n757' href='#n757'>757</a>
<a id='n758' href='#n758'>758</a>
<a id='n759' href='#n759'>759</a>
<a id='n760' href='#n760'>760</a>
<a id='n761' href='#n761'>761</a>
<a id='n762' href='#n762'>762</a>
<a id='n763' href='#n763'>763</a>
<a id='n764' href='#n764'>764</a>
<a id='n765' href='#n765'>765</a>
<a id='n766' href='#n766'>766</a>
<a id='n767' href='#n767'>767</a>
<a id='n768' href='#n768'>768</a>
<a id='n769' href='#n769'>769</a>
<a id='n770' href='#n770'>770</a>
<a id='n771' href='#n771'>771</a>
<a id='n772' href='#n772'>772</a>
<a id='n773' href='#n773'>773</a>
<a id='n774' href='#n774'>774</a>
<a id='n775' href='#n775'>775</a>
<a id='n776' href='#n776'>776</a>
<a id='n777' href='#n777'>777</a>
<a id='n778' href='#n778'>778</a>
<a id='n779' href='#n779'>779</a>
<a id='n780' href='#n780'>780</a>
<a id='n781' href='#n781'>781</a>
<a id='n782' href='#n782'>782</a>
<a id='n783' href='#n783'>783</a>
<a id='n784' href='#n784'>784</a>
<a id='n785' href='#n785'>785</a>
<a id='n786' href='#n786'>786</a>
<a id='n787' href='#n787'>787</a>
<a id='n788' href='#n788'>788</a>
<a id='n789' href='#n789'>789</a>
<a id='n790' href='#n790'>790</a>
<a id='n791' href='#n791'>791</a>
<a id='n792' href='#n792'>792</a>
<a id='n793' href='#n793'>793</a>
<a id='n794' href='#n794'>794</a>
<a id='n795' href='#n795'>795</a>
<a id='n796' href='#n796'>796</a>
<a id='n797' href='#n797'>797</a>
<a id='n798' href='#n798'>798</a>
<a id='n799' href='#n799'>799</a>
<a id='n800' href='#n800'>800</a>
<a id='n801' href='#n801'>801</a>
<a id='n802' href='#n802'>802</a>
<a id='n803' href='#n803'>803</a>
<a id='n804' href='#n804'>804</a>
<a id='n805' href='#n805'>805</a>
<a id='n806' href='#n806'>806</a>
<a id='n807' href='#n807'>807</a>
<a id='n808' href='#n808'>808</a>
<a id='n809' href='#n809'>809</a>
<a id='n810' href='#n810'>810</a>
<a id='n811' href='#n811'>811</a>
<a id='n812' href='#n812'>812</a>
<a id='n813' href='#n813'>813</a>
<a id='n814' href='#n814'>814</a>
<a id='n815' href='#n815'>815</a>
<a id='n816' href='#n816'>816</a>
<a id='n817' href='#n817'>817</a>
<a id='n818' href='#n818'>818</a>
<a id='n819' href='#n819'>819</a>
<a id='n820' href='#n820'>820</a>
<a id='n821' href='#n821'>821</a>
<a id='n822' href='#n822'>822</a>
<a id='n823' href='#n823'>823</a>
<a id='n824' href='#n824'>824</a>
<a id='n825' href='#n825'>825</a>
<a id='n826' href='#n826'>826</a>
<a id='n827' href='#n827'>827</a>
<a id='n828' href='#n828'>828</a>
<a id='n829' href='#n829'>829</a>
<a id='n830' href='#n830'>830</a>
<a id='n831' href='#n831'>831</a>
<a id='n832' href='#n832'>832</a>
<a id='n833' href='#n833'>833</a>
<a id='n834' href='#n834'>834</a>
<a id='n835' href='#n835'>835</a>
<a id='n836' href='#n836'>836</a>
<a id='n837' href='#n837'>837</a>
<a id='n838' href='#n838'>838</a>
<a id='n839' href='#n839'>839</a>
<a id='n840' href='#n840'>840</a>
<a id='n841' href='#n841'>841</a>
<a id='n842' href='#n842'>842</a>
<a id='n843' href='#n843'>843</a>
<a id='n844' href='#n844'>844</a>
<a id='n845' href='#n845'>845</a>
<a id='n846' href='#n846'>846</a>
<a id='n847' href='#n847'>847</a>
<a id='n848' href='#n848'>848</a>
<a id='n849' href='#n849'>849</a>
<a id='n850' href='#n850'>850</a>
<a id='n851' href='#n851'>851</a>
<a id='n852' href='#n852'>852</a>
<a id='n853' href='#n853'>853</a>
<a id='n854' href='#n854'>854</a>
<a id='n855' href='#n855'>855</a>
<a id='n856' href='#n856'>856</a>
<a id='n857' href='#n857'>857</a>
<a id='n858' href='#n858'>858</a>
<a id='n859' href='#n859'>859</a>
<a id='n860' href='#n860'>860</a>
<a id='n861' href='#n861'>861</a>
<a id='n862' href='#n862'>862</a>
<a id='n863' href='#n863'>863</a>
<a id='n864' href='#n864'>864</a>
<a id='n865' href='#n865'>865</a>
<a id='n866' href='#n866'>866</a>
<a id='n867' href='#n867'>867</a>
<a id='n868' href='#n868'>868</a>
<a id='n869' href='#n869'>869</a>
<a id='n870' href='#n870'>870</a>
<a id='n871' href='#n871'>871</a>
<a id='n872' href='#n872'>872</a>
<a id='n873' href='#n873'>873</a>
<a id='n874' href='#n874'>874</a>
<a id='n875' href='#n875'>875</a>
<a id='n876' href='#n876'>876</a>
<a id='n877' href='#n877'>877</a>
<a id='n878' href='#n878'>878</a>
<a id='n879' href='#n879'>879</a>
<a id='n880' href='#n880'>880</a>
<a id='n881' href='#n881'>881</a>
<a id='n882' href='#n882'>882</a>
<a id='n883' href='#n883'>883</a>
<a id='n884' href='#n884'>884</a>
<a id='n885' href='#n885'>885</a>
<a id='n886' href='#n886'>886</a>
<a id='n887' href='#n887'>887</a>
<a id='n888' href='#n888'>888</a>
<a id='n889' href='#n889'>889</a>
<a id='n890' href='#n890'>890</a>
<a id='n891' href='#n891'>891</a>
<a id='n892' href='#n892'>892</a>
<a id='n893' href='#n893'>893</a>
<a id='n894' href='#n894'>894</a>
<a id='n895' href='#n895'>895</a>
<a id='n896' href='#n896'>896</a>
<a id='n897' href='#n897'>897</a>
<a id='n898' href='#n898'>898</a>
<a id='n899' href='#n899'>899</a>
<a id='n900' href='#n900'>900</a>
<a id='n901' href='#n901'>901</a>
<a id='n902' href='#n902'>902</a>
<a id='n903' href='#n903'>903</a>
<a id='n904' href='#n904'>904</a>
<a id='n905' href='#n905'>905</a>
<a id='n906' href='#n906'>906</a>
<a id='n907' href='#n907'>907</a>
<a id='n908' href='#n908'>908</a>
<a id='n909' href='#n909'>909</a>
<a id='n910' href='#n910'>910</a>
<a id='n911' href='#n911'>911</a>
<a id='n912' href='#n912'>912</a>
<a id='n913' href='#n913'>913</a>
<a id='n914' href='#n914'>914</a>
<a id='n915' href='#n915'>915</a>
<a id='n916' href='#n916'>916</a>
<a id='n917' href='#n917'>917</a>
<a id='n918' href='#n918'>918</a>
<a id='n919' href='#n919'>919</a>
<a id='n920' href='#n920'>920</a>
<a id='n921' href='#n921'>921</a>
<a id='n922' href='#n922'>922</a>
<a id='n923' href='#n923'>923</a>
<a id='n924' href='#n924'>924</a>
<a id='n925' href='#n925'>925</a>
<a id='n926' href='#n926'>926</a>
<a id='n927' href='#n927'>927</a>
<a id='n928' href='#n928'>928</a>
<a id='n929' href='#n929'>929</a>
<a id='n930' href='#n930'>930</a>
<a id='n931' href='#n931'>931</a>
<a id='n932' href='#n932'>932</a>
<a id='n933' href='#n933'>933</a>
<a id='n934' href='#n934'>934</a>
<a id='n935' href='#n935'>935</a>
<a id='n936' href='#n936'>936</a>
<a id='n937' href='#n937'>937</a>
<a id='n938' href='#n938'>938</a>
</pre></td>
<td class='lines'><pre><code>