--- /dev/null
+import "StandardLibrary"
+
+mapping relation M Integer (Integer,Integer)
+
+rule Mix where
+ @when
+ M ?a (?b, ?c)
+ ?a <= 10
+
+ @where
+ M (?a + 1) (?c, ?b)
+
+rule PrintIt where
+ @when
+ M ?a (?b,?c)
+
+ @to
+ Execute (print "\(?a) -> \(?b), \(?c)")
+
+rule Seed where
+ @where
+ M 0 (1,?x)
+ M 10 (?y,2)
+
+main = transformation OneShotForward where
+--
+()