= X(rs1); let rs2_val = X(rs2); let output : xlenbits = EXTZ(0b0); foreach(i from 0 to xlen by 1) { output = if suffix =="vv" then get_velem(vs1,i) else zext_or_truncate_to_sew(X(vs1));