--- a/main_marking5/bf_test1.scala	Sun Sep 15 12:57:59 2024 +0100
+++ b/main_marking5/bf_test1.scala	Mon Jul 21 16:38:07 2025 +0100
@@ -1,4 +1,8 @@
-import M5a._ 
+
+def urbanmain() = {
+  import M5a._ 
 
-assert(load_bff("benchmark.bf").length == 188)
-assert(load_bff("foobar.bf") == "")
+  assert(load_bff("benchmark.bf").length == 188)
+  assert(load_bff("foobar.bf") == "")
+
+}