-> bits(32) function aes_mixcolumn_byte_fwd(so) = { result : xlenbits = 0; attempts to do these things blessed are they who had founded wapentake and seddled