itree_stack_destroy 1116 src/itree.c          itree_stack_destroy (stack);
itree_stack_destroy 1132 src/itree.c      itree_stack_destroy (saved);
itree_stack_destroy 1182 src/itree.c      itree_stack_destroy (stack);