pub const ENCODING_ENC_NOT_ASIMDMISC_R: ENCODING = 1136;