def urbanmain() = {
  import M5a._ 

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

}