pub const ENCODING_ENC_SRI_ASIMDSHF_R: ENCODING = 1378;