Model volatile semantics in basis.memory