Symbol: reduce_lane_count