pub const ENCODING_ENC_ADDS_32S_ADDSUB_EXT: ENCODING = 11;