There are concurrent writes to the field, ordering matters, etc. In
seqctr_retry, it was possible for the compiler to generate two reads from
the data structure for the "is locked" and "!=" tests. We might have had
strange results there.