The text 2236666c2b84, as Debian 10 (Buster) shipped it.
The standard mutex type.
std::mutex(3cxx) on Linux now
