pub const ENCODING_ENC_NEGS_SUBS_64_ADDSUB_SHIFT: ENCODING = 1125;