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