Imperative Programming HT23, Priority queues