pub const ENCODING_ENC_CNEG_CSNEG_32_CONDSEL: ENCODING = 193;