453 

   453 

   454 //

   454 //

   455 @doc(" All benchmarks.")

   455 @doc(" All benchmarks.")

   456 @main

   456 @main

   457 def all() = { bfc0(); bfc1(); bfc2(); bfc3(); bfc4() } 

   457 def all() = { bfc0(); bfc1(); bfc2(); bfc3(); bfc4() }