pub const ENCODING_ENC_ADDS_32_ADDSUB_SHIFT: ENCODING = 13;