The text a8c8eec26cba, as Debian 6.0 (Squeeze) shipped it.
Scoped lock idiom.
__gnu_cxx::__scoped_lock(3cxx) on Linux now
