revised ch6/priority_queue.h