pub const ENCODING_ENC_FCVTPU_ASISDMISCFP16_R: ENCODING = 415;