--- a/main_marking5/bf_test2.scala	Sun Sep 15 12:57:59 2024 +0100
+++ b/main_marking5/bf_test2.scala	Mon Jul 21 16:38:07 2025 +0100
@@ -1,6 +1,10 @@
-import M5a._
+
+def urbanmain() = {
+
+  import M5a._
 
-assert(sread(Map(), 2) == 0)
-assert(sread(Map(2 -> 1), 2) == 1)
-assert(write(Map(), 1, 2) == Map(1 -> 2))
-assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2))
+  assert(sread(Map(), 2) == 0)
+  assert(sread(Map(2 -> 1), 2) == 1)
+  assert(write(Map(), 1, 2) == Map(1 -> 2))
+  assert(write(Map(1 -> 0), 1, 2) == Map(1 -> 2))
+}