The text 10d88c7802d5, as Debian 8 (Jessie) shipped it.
__gnu_pbds::priority_queue(3cxx) on Linux now
