pub const ENCODING_ENC_SCVTF_ASISDMISCFP16_R: ENCODING = 1257;