The text 307eb3931fb9, as Debian 10 (Buster) shipped it.
An SGI extension .
__gnu_cxx::select2nd(3cxx) on Linux now
