Added abstraction for mutex (w/ uinit tests)