pub const ENCODING_ENC_UNALLOCATED_17_SETF: ENCODING = 2050;