pub const ENCODING_ENC_UQSHRN_ASIMDSHF_N: ENCODING = 2637;