I don't think we should demo mutex here.