pub const ENCODING_ENC_FRECPX_ASISDMISC_R: ENCODING = 598;