Another instance of an ordering that is weak according to the standard,
but without any way the compiler or the CPU could take advantage of that
in this case. In addition to the previous one, this is in a code that
runs much less often.