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