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