pub const ENCODING_ENC_NEG_ASIMDMISC_R: ENCODING = 1128;