let lval_to_loc_with_deps_state ~with_alarms state ~deps lv =
  let _state, deps, r =
    lval_to_loc_with_deps
      ~with_alarms
      ~deps
      ~reduce_valid_index:(Kernel.SafeArrays.get ())
      state
      lv
  in
  Zone.out_some_or_bottom deps, r