let
store m loc t exp_val =
DF
.stored t;
let
mb = mbits_of_mem m
in
Data
.store_mem mb t loc exp_val