The text 135732da99de, as Debian 9 (Stretch) shipped it.
Scoped lock idiom.
__gnu_cxx::__scoped_lock(3cxx) on Linux now
