The mutex implementation has been converted to C++.