pub const ENCODING_ENC_INS_ASIMDINS_IV_V: ENCODING = 671;