The text 4b8d8b219e1a, as Debian 10 (Buster) shipped it.
GNU extensions for public use.
__gnu_cxx(3cxx) on Linux now
