After playing around with it a bit more, I stand corrected: > but theoretically it feels possible since there are cases where happens-before are not enforced. It does seem there might be enough guarantees given by LKMM, but I'll probably have to dive a bit deeper to prove that.