• fix_priority_queue_peek