diff -r f70d74fea67f -r 2a30c7dfe3ed main_marking3/re_test0.scala
--- a/main_marking3/re_test0.scala	Sun Sep 15 12:57:59 2024 +0100
+++ b/main_marking3/re_test0.scala	Mon Jul 21 16:38:07 2025 +0100
@@ -1,6 +1,8 @@
-import M3._
+
+def urbanmain() = {
+  import M3._
 
-assert(ALTs.getClass == ALTs.getClass)
-assert(SEQs.getClass == SEQs.getClass)
+  assert(ALTs.getClass == ALTs.getClass)
+  assert(SEQs.getClass == SEQs.getClass)
+}
 
-