add stl-priority-queue