pub const ENCODING_ENC_PACIA1716_HI_HINTS: ENCODING = 1154;