br_aes_ct64_interleave_out
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[i], q[4 + i]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[i], q[4 + i]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[i], q[4 + i]);
br_aes_ct64_interleave_out(w, q[i], q[4 + i]);
br_aes_ct64_interleave_out(w, q[i], q[4 + i]);
br_aes_ct64_interleave_out(w, q[i], q[4 + i]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[1], q[5]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[1], q[5]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
br_aes_ct64_interleave_out(w, q[0], q[4]);
void br_aes_ct64_interleave_out(uint32_t[static 4], uint64_t, uint64_t);
br_aes_ct64_interleave_out(&tkey[4*(num_rounds - i)],