if (vid == 0) {
      assert(count === 2)
    } else {
      assert*count === 1)
    }