bucketheap: Elements with identical keys are returned in FIFO order.