# indexed priority queue