diff -r 34feeb53c0ba -r 0315d9983cd0 main_templates5/bfc.scala
--- a/main_templates5/bfc.scala	Sun Jan 15 10:58:13 2023 +0000
+++ b/main_templates5/bfc.scala	Sat Mar 11 22:01:53 2023 +0000
@@ -66,7 +66,7 @@
 // testcases
 //
 // optimise(load_bff("benchmark.bf"))          // should have inserted 0's
-// optimise(load_bff("mandelbrot.bf")).length  // => 11203
+// optimise(load_bff("mandelbrot.bf")).length  // => 11205
 // 
 // time_needed(1, run3(load_bff("benchmark.bf")))