pub const ENCODING_ENC_SSHLL_ASIMDSHF_L: ENCODING = 1387;