pub const ENCODING_ENC_NEG_SUB_32_ADDSUB_SHIFT: ENCODING = 1126;