if val[i] == 0b1 then return(i) else (); return -1; } let result = result ^ (x >> to_bits(6, i * 8))[7..0] val aes_rv64_shiftrows_fwd : (bits(64), int) -> bits(8) function xt3(x) = x ^ xt2(x) /* Multiply 8-bit field element