mark_interval_tree 6851 src/alloc.c      mark_interval_tree (buffer_intervals (buffer));
mark_interval_tree 7163 src/alloc.c    	    mark_interval_tree (ptr->u.s.intervals);
mark_interval_tree 7321 src/alloc.c    	    mark_interval_tree (string_intervals (ptr->u.s.name));