+//testcase {
+// input "ab";
+//
+// s = a:"a" b:"b"
+//}
+
+
+testcase {
+ input "a c";
+ s = first:: A WSA B? WSB C
+ A = "a"
+ B = "b"
+ C = "c"
+ WSA = WSA:: " "**
+ WSB = () -> ~" "
+ | WSB:: " "++
+}
+
+//testcase {
+// input "aaaaaXaaaa";
+// output "";
+// s = ManyA &~ EndsWithZ
+// EndsWithZ = Anything "Z"
+// ManyA = () | "a" ManyA
+// Anything = () | ("a" | "X" | "Z") Anything
+//}
+