Symbol: br_aes_ct_bitslice_Sbox