let lval_to_zone kinstr ~with_alarms lv =
  Locations.valid_enumerate_bits
    ~for_writing:false
    (lval_to_loc_kinstr ~with_alarms kinstr lv)