mark_interval_tree 6547 src/alloc.c      mark_interval_tree (buffer_intervals (buffer));
mark_interval_tree 6845 src/alloc.c    	    mark_interval_tree (ptr->u.s.intervals);
mark_interval_tree 7003 src/alloc.c    	    mark_interval_tree (string_intervals (ptr->u.s.name));