--- a/thys2/blexer2.sc	Mon Jun 06 15:57:17 2022 +0100
+++ b/thys2/blexer2.sc	Mon Jun 06 16:45:42 2022 +0100
@@ -1260,7 +1260,17 @@
     }
   }
 }
-small()
+// small()
+
+def aaa_star() = {
+  val r = STAR(("a" | "aa"))
+  for(i <- 0 to 100) {
+    val prog = "a" * i
+    println(asize(bders_simp(prog.toList, internalise(r))))
+  }
+}
+aaa_star()
+
 def generator_test() {
 
   test(rexp(4), 1000000) { (r: Rexp) =>