let
load m cval loc =
let
_ = check_indir_label m.label loc
in
value_of_logic cval (indir m loc)