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