diff --git a/examples/protocol-redundant.tess b/examples/protocol-redundant.tess
new file mode 100644
index 0000000..d6e7d9c
--- /dev/null
+++ b/examples/protocol-redundant.tess
@@ -0,0 +1,15 @@
+data State = Idle | Waiting | Connected
+
+data Message = Hello Int | Data Int | Close
+
+match classify (s : State) (m : Message) : Int =
+  | Idle (Hello n) -> n
+  | Idle (Data n) -> n
+  | Idle Close -> 0
+  | Waiting (Hello n) -> n
+  | Waiting (Data n) -> n
+  | Waiting Close -> 0
+  | Connected (Hello n) -> n
+  | Connected (Data n) -> n
+  | Connected Close -> 0
+  | _ Close -> 0
diff --git a/examples/protocol-values.txt b/examples/protocol-values.txt
new file mode 100644
index 0000000..a5a7c71
--- /dev/null
+++ b/examples/protocol-values.txt
@@ -0,0 +1,4 @@
+Idle; Hello 5
+Waiting; Data 3
+Connected; Close
+Idle; Data 7