BT_END
end = BT_END(bt);
MPASS(BT_END(bt) - start >= size - 1);
MPASS(BT_END(bt) < t->bt_start); /* YYY */
MPASS(BT_END(t) < bt->bt_start); /* YYY */
if (bt->bt_start <= addr && addr <= BT_END(bt)) {
if (bt->bt_start > BT_END(bt)) {
if (bt->bt_start <= BT_END(bt2) &&
bt2->bt_start <= BT_END(bt)) {