pub const ENCODING_ENC_CINV_CSINV_32_CONDSEL: ENCODING = 145;