pub const ENCODING_ENC_SSRA_ASIMDSHF_R: ENCODING = 1392;