Deprecate mutex()