pub const ENCODING_ENC_SEV_HI_HINTS: ENCODING = 1266;