pub const ENCODING_ENC_SHRN_ASIMDSHF_N: ENCODING = 1285;