This is the heap from extsort3/ extended with insert and extract buffers so that it can be used as a priority queue.
