302 

   302 

   303 

   303 

   304 

   304 

   305 }

   305 }

   306 

   306 

   308 @main def main() = {

   308 @main def main() = {

   309   import M5b._

   309   import M5b._

   310   println(time_needed(1, run(load_bff("mandelbrot.bf"))))

   310   println(time_needed(1, run(load_bff("mandelbrot.bf"))))

   311   println(time_needed(1, run2(load_bff("mandelbrot.bf"))))

   311   println(time_needed(1, run2(load_bff("mandelbrot.bf"))))

   312   println(time_needed(1, run3(load_bff("mandelbrot.bf"))))

   312   println(time_needed(1, run3(load_bff("mandelbrot.bf"))))

   313   println(time_needed(1, run4(load_bff("mandelbrot.bf"))))

   313   println(time_needed(1, run4(load_bff("mandelbrot.bf"))))

   314 }

   314 }