pub const ENCODING_ENC_SCVTF_ASIMDMISCFP16_R: ENCODING = 1254;