pub const ENCODING_ENC_PACIB1716_HI_HINTS: ENCODING = 1158;