pub const ENCODING_ENC_SSHR_ASIMDSHF_R: ENCODING = 1390;