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