itree_max_height 1083 src/itree.c          const int size = itree_max_height (tree) + 1;
itree_max_height 1151 src/itree.c      const int size = itree_max_height (tree) + 1;