record the most recent fence-release, then this record can be utilized during
later (hypothetical) release sequence checks.
* The fence-acquire B is more troublesome, since there may be many qualifying
record the most recent fence-release, then this record can be utilized during
later (hypothetical) release sequence checks.
* The fence-acquire B is more troublesome, since there may be many qualifying