pub const ENCODING_ENC_ADD_32_ADDSUB_SHIFT: ENCODING = 20;