pub const ENCODING_ENC_UMULL_UMADDL_64WA_DP_3SRC: ENCODING = 1769;