pub const ENCODING_ENC_AUTIB1716_HI_HINTS: ENCODING = 56;