A data structure for manipulating priority queues | Synapse