--- a/main_testing5/bf_test2.scala	Thu Nov 02 13:53:37 2023 +0000
+++ b/main_testing5/bf_test2.scala	Thu Nov 02 23:34:53 2023 +0000
@@ -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))
+}