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