pub const ENCODING_ENC_NEGS_SUBS_32_ADDSUB_SHIFT: ENCODING = 1124;