pub const ENCODING_ENC_UNALLOCATED_11_ADDSUB_EXT: ENCODING = 1801;