pub const ENCODING_ENC_SCVTF_ASIMDSHF_C: ENCODING = 1255;