pub const ENCODING_ENC_NEG_SUB_64_ADDSUB_SHIFT: ENCODING = 1127;