pub const ENCODING_ENC_RBIT_ASIMDMISC_R: ENCODING = 1176;