Basic support for Mutex and Scoped mutex