well yes, but I think the mutex also protects some other global datastructures. I think the mutex was mostly removed recently, by observing exactly what you me

well yes, but I think the mutex also protects some other global datastructures. I think the mutex was mostly removed recently, by observing exactly what you mention: any race would be UB anyway.