itree_stack_destroy 1118 src/itree.c          itree_stack_destroy (stack);
itree_stack_destroy 1134 src/itree.c      itree_stack_destroy (saved);
itree_stack_destroy 1184 src/itree.c      itree_stack_destroy (stack);