let
store m loc t exp_val =
DF
.stored t;
Data
.store_mem (
F
.var m.vbits) t loc exp_val