rpst_height2max
KASSERT((mask | (mask - 1)) == rpst_height2max(t->t_height));
while (idx > rpst_height2max(t->t_height)) {
if (rpst_height2max(t->t_height) < min_x) {