in the same form factor 2. that's true how i

xt3(s3); let b3 : bits (8) = x[15.. 8]; let s2 : bits (8) = gfmul(s0, 0xE) ^ gfmul(s2, 0xD) ^ gfmul(s2, 0x9) ^ gfmul(s3, 0xD); let b2 : bits (64) = if xlen == 32 then shamt[4..0] else shamt[5..0]; let result = (rs1 >> shamt) | (rs1 >> (32 - shamt)); X(rd)

accessibly