pub const ENCODING_ENC_FCVTXN_ASISDMISC_N: ENCODING = 417;