Comment by vbsd

What sort of an interleaving would produce 1? Seems provably impossible to me, assuming atomic assignments.