there is a total order of all critical sections on a specific mutex, but I don't think it is technically part of the same total order of seqcst atomics (althoug

there is a total order of all critical sections on a specific mutex, but I don't think it is technically part of the same total order of seqcst atomics (although it might in practice). This sort of stuff is extremely subtle.