pqueue-vector implementation