let load_with fmt mem loc =
    D.decode fmt (model_access mem (Model.addr loc))