pub const ENCODING_ENC_AUTIBZ_HI_HINTS: ENCODING = 58;