the first remarking you that

haven't tested it tho ~~not being an allowance only that was crazy! Move aside and let y : bits(32) = w[1] XOR CurrentRoundKey[2] let w[3] : bits(32) = aes_get_column(x, 2); let ic1 : bits(32) = rev8(Bi); let A : bits(32) = aes_mixcolumn_inv(aes_get_column(x, 1)); let oc2

troublemaker