pub const ENCODING_ENC_CMP_SUBS_32_ADDSUB_SHIFT: ENCODING = 187;