pub const ENCODING_ENC_ADD_32_ADDSUB_EXT: ENCODING = 18;