pub const ENCODING_ENC_SCVTF_ASIMDMISC_R: ENCODING = 1253;