pub const ENCODING_ENC_UNALLOCATED_11_ADDSUB_SHIFT: ENCODING = 1803;