pub const ENCODING_ENC_REV32_ASIMDMISC_R: ENCODING = 1207;