The text 2891df21f5d5, as Debian 11 (Bullseye) shipped it.
The standard mutex type.
std::mutex(3cxx) on Linux now
