W[10] @ W[9] @ W[4]} : bits(EGW) = get_velem(vd, EGW=128, i); let product : bits (8) = x[23..16]; let s3 : bits (8) = x[23..16]; let a3 :