1
import CW10a._
2
3
assert(load_bff("benchmark.bf").length == 188)
4
assert(load_bff("foobar.bf") == "")