diff -r 957808dcb367 -r b51467741af2 main_marking3/re_test0.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main_marking3/re_test0.scala	Thu Aug 04 16:53:38 2022 +0200
@@ -0,0 +1,6 @@
+import M3._
+
+assert(ALTs.getClass == ALTs.getClass)
+assert(SEQs.getClass == SEQs.getClass)
+
+