br_aes_ct64_bitslice_Sbox
void br_aes_ct64_bitslice_Sbox(uint64_t[static 8]);
br_aes_ct64_bitslice_Sbox(q);
br_aes_ct64_bitslice_Sbox(q);
br_aes_ct64_bitslice_Sbox(q);
br_aes_ct64_bitslice_Sbox(q);