std::priority_queue(3cxx) on Linux

The text 3a2f478173a6, as Debian 9 (Stretch) shipped it.

A standard container automatically sorting its contents.

std::priority_queue(3cxx) on Linux now