pub const ENCODING_ENC_WFI_HI_HINTS: ENCODING = 2674;