       repeat {
         waiter.pointee.next = waiterQueue(from: state)
         let newState = Int(bitPattern: waiter) | state.state
-        // write to `deferredState` with memory_order_release.
+        // read-modify-write `deferredState` with memory_order_release.
         // this means that this write is in the release sequence of all previous writes.
         // a subsequent read-from `deferredState` will therefore synchronize-with all previous writes.
         // this matters for the `resolve(_:)` function, which operates on the queue of `Waiter` instances.

      repeat {
        waiter.pointee.next = waiterQueue(from: state)
        let newState = Int(bitPattern: waiter) | state.state
        // write to `deferredState` with memory_order_release.
        // this means that this write is in the release sequence of all previous writes.
        // a subsequent read-from `deferredState` will therefore synchronize-with all previous writes.
        // this matters for the `resolve(_:)` function, which operates on the queue of `Waiter` instances.

      { // execution state has already been marked as begun
        return
      }
      // read-modify-write `deferredState` with memory_order_release.
      // this means that this write is in the release sequence of all previous writes.
      // a subsequent read-from `deferredState` will therefore synchronize-with all previous writes.
      // this matters for the `resolve(_:)` function, which operates on the queue of `Waiter` instances.
