carta

__gnu_pbds::priority_queue(3cxx) on Linux

The text 246fcd3340d2, as Debian 12 (Bookworm) shipped it.

__gnu_pbds::priority_queue(3cxx) on Linux now