MAX_AES_NR
uint32_t rk1[4 * (MAX_AES_NR + 1)];
uint64_t ks64[((MAX_AES_NR) + 1) * (MAX_AES_NB)];
uint32_t ks32[((MAX_AES_NR) + 1) * (MAX_AES_NB)];