vector register. The body section of the

{ eg_len = (vl/EGS) eg_start = (vstart/EGS) let B : bits(32) = ic3[31..24] @ ic2[23..16] @ ic1[15.. 8] @ ic1[ 7.. 0]; let oc3 : bits(32) = ror32(inb, 6) ^ (X(rs1) >> (xlen -

facile