- to be renamed (once more) to "priority-queue"