1 import CW10a._ 

     2 

     3 assert(load_bff("benchmark.bf").length == 188)

     4 assert(load_bff("foobar.bf") == "")