--- a/core_testing2/docdiff_test3.scala	Thu Nov 02 11:32:10 2023 +0000
+++ b/core_testing2/docdiff_test3.scala	Thu Nov 02 12:37:58 2023 +0000
@@ -1,11 +1,11 @@
 
-import C2._
-
-val urban_list1 = List("a", "b", "b", "c", "d")
-val urban_list2 = List("d", "b", "d", "b", "d")
+def urbanmain() = {
+  import C2._
 
-assert(prod(urban_list1, urban_list2) == 7)
+  val urban_list1 = List("a", "b", "b", "c", "d")
+  val urban_list2 = List("d", "b", "d", "b", "d")
 
-assert(prod(urban_list1, urban_list1) == 7)
-
-assert(prod(urban_list2, urban_list2) == 13)
+  assert(prod(urban_list1, urban_list2) == 7)
+  assert(prod(urban_list1, urban_list1) == 7)
+  assert(prod(urban_list2, urban_list2) == 13)
+}