pub const ENCODING_ENC_UNALLOCATED_13_ASISDELEM: ENCODING = 1889;