pub const ENCODING_ENC_SHL_ASISDSHF_R: ENCODING = 1284;