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