pub const ENCODING_ENC_SEVL_HI_HINTS: ENCODING = 1265;