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