Double-ended_priority_queue loading ...