MAX_AES_NB
uint64_t ks64[((MAX_AES_NR) + 1) * (MAX_AES_NB)];
uint32_t ks32[((MAX_AES_NR) + 1) * (MAX_AES_NB)];
for (i = MAX_AES_NB; i < 10 * MAX_AES_NB; ++i)
for (i = MAX_AES_NB; i < 12 * MAX_AES_NB; ++i)
for (i = MAX_AES_NB; i < 14 * MAX_AES_NB; ++i)