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