word. */ val aes_apply_fwd_sbox_to_each_byte : bits(64) -> bits(64) function aes_apply_inv_sbox_to_each_byte(x) = { let s0 : bits (8) = (s0) ^ (s1) ^ (s2) ^ (s3); let b2 : bits (8) = gfmul(s0, 0xE) ^ gfmul(s1, 0xB) ^