Add `withMVarMasked` (re #8818)
drwxr-xr-x - libraries