A store from another thread should become visible to this thread in a timely manner, but it is fine for the compiler to assume that bounded sequence of instructions in this thread happens atomically ...