Implementing large and small bulk pushes where the insertion heap is used as an accumulation array, and the heap property is reestablished at bulk_end.