pub const ENCODING_ENC_SHL_ASIMDSHF_R: ENCODING = 1283;