node_split
nodep = node_split(s, middle_start);
(void) node_split(s, middle_end + 1);
nodep = node_split(s, middle_start);
(void) node_split(s, middle_end + 1);
nodep = node_split(s, idx & -MASK_BITS);
nodep = node_split(s, idx & -MASK_BITS);