- * This barrier (F) is paired with SEQ_CST barrier or
- * membarrier() at (G). It orders increment of the begin/end
- * counters before load/store to the futex.
+ * This barrier (F) implied by SEQ_CST is paired with SEQ_CST
+ * barrier or membarrier() at (G). It orders increment of the
+ * begin/end counters before load/store to the futex.