let load m te loc =
    DF.loaded te ; load_mem m.store te loc