* Value: For reads/writes/RMW, the value returned by the operation. Note that
for RMW, this is the value that is *read*, not the value that was *written*.
For other operations, 'value' may have some CDSChecker-internal meaning, or
* Value: For reads/writes/RMW, the value returned by the operation. Note that
for RMW, this is the value that is *read*, not the value that was *written*.
For other operations, 'value' may have some CDSChecker-internal meaning, or