Constructing mutex