pub fn acquire_exc_start<K, V, Pred: InvariantPredicate<K, V>>( pre: State<K, V, Pred>, ) -> State<K, V, Pred>