diff --git a/examples/test12.rkt b/examples/test12.rkt
new file mode 100644
index 0000000..7025098
--- /dev/null
+++ b/examples/test12.rkt
@@ -0,0 +1,6 @@
+#lang typed-peg
+
+K <-- (epsilon '3') / (epsilon '2');
+C <-- ('2' / E) (! K);
+E <-- ('1' / '3') ('3' / C);
+start: (epsilon C) *