The text 314c69feaed5, as Debian 10 (Buster) shipped it.
__gnu_pbds::priority_queue(3cxx) on Linux now
