Mutual-exclusion Packages