[saagarjha]

Unfortunately there’s not really a better way to detect memory models except by trying to observe reorderings :(