pub const ENCODING_ENC_INS_ASIMDINS_IR_R: ENCODING = 670;