std::priority_queue(3cxx) on Linux

The text 7261d5b9760c, as Debian 6.0 (Squeeze) shipped it.

A standard container automatically sorting its contents.

std::priority_queue(3cxx) on Linux now