let
load m te loc =
DF
.loaded te;
Data
.load_mem (
F
.var m.vbits) te loc