pub const ENCODING_ENC_SLI_ASIMDSHF_R: ENCODING = 1287;