The text 09b414aa50e0, as Debian 10 (Buster) shipped it.
Scoped lock idiom.
__gnu_cxx::__scoped_lock(3cxx) on Linux now
