pub const ENCODING_ENC_SRSHR_ASIMDSHF_R: ENCODING = 1382;