dump_interval_tree 2057 src/pdumper.c  	 dump_interval_tree (ctx, tree->left, offset));
dump_interval_tree 2062 src/pdumper.c  	 dump_interval_tree (ctx, tree->right, offset));
dump_interval_tree 2107 src/pdumper.c         dump_interval_tree (ctx, string->u.s.intervals, 0));
dump_interval_tree 2877 src/pdumper.c         dump_interval_tree (ctx, buffer->own_text.intervals, 0));