dump_interval_tree 2058 src/pdumper.c  	 dump_interval_tree (ctx, tree->left, offset));
dump_interval_tree 2063 src/pdumper.c  	 dump_interval_tree (ctx, tree->right, offset));
dump_interval_tree 2108 src/pdumper.c         dump_interval_tree (ctx, string->u.s.intervals, 0));
dump_interval_tree 2878 src/pdumper.c         dump_interval_tree (ctx, buffer->own_text.intervals, 0));