Thread A initializes shared data and then performs a release-store of a flag. Thread B observes that flag with an acquire-load before reading the data. In a memory model where these operations synchronize, what is the key guarantee?