pub const ENCODING_ENC_RSHRN_ASIMDSHF_N: ENCODING = 1219;