diff -r 1997cfcd6334 -r 1b08b8ac13fd testing5/bfc.scala
--- a/testing5/bfc.scala	Sun Dec 16 21:43:14 2018 +0000
+++ b/testing5/bfc.scala	Tue Dec 18 23:31:45 2018 +0000
@@ -212,6 +212,7 @@
 // testcases
 
 //optimise(load_bff("benchmark.bf"))          // should have inserted 0's
+//optimise(load_bff("benchmark.bf")).length   // => 181  
 //optimise(load_bff("mandelbrot.bf")).length  // => 11203
  
 //time_needed(1, run3(load_bff("benchmark.bf")))
@@ -297,6 +298,8 @@
 
 // testcases
 //combine(optimise(load_bff("benchmark.bf"))) // => """>A+B[<A+M>A-A]<A[[....."""
+//combine(optimise(load_bff("benchmark.bf"))).length // => 134
+//combine(optimise(load_bff("mandelbrot.bf"))).length // => 6509
 
 //time_needed(1, run4(load_bff("benchmark.bf")))