(mark_buffer, gc_sweep): Use BUF_INTERVALS.