pub const ENCODING_ENC_HLT_EX_EXCEPTION: ENCODING = 667;