The text b45f7ccef3b4, as Debian 9 (Stretch) shipped it.
An SGI extension .
__gnu_cxx::select2nd(3cxx) on Linux now
