BT_ISSPAN_P
KASSERT(BT_ISSPAN_P(t) || t->bt_type == BT_TYPE_BUSY);
if (BT_ISSPAN_P(bt)) {
if (BT_ISSPAN_P(bt) != BT_ISSPAN_P(bt2)) {