MCS locks have a "notification-safe" variant