RND_SAVEWORDS
uint8_t data[RND_SAVEWORDS * sizeof(uint32_t)];
#if (RND_SAVEWORDS != 128)
u_char data[RND_SAVEWORDS * sizeof(uint32_t)];