pub const ENCODING_ENC_SSHR_ASISDSHF_R: ENCODING = 1391;