static octet s[256], si[256];
static uint32 t[4][256], ti[4][256];
static uint32 u[4][256];
-static octet rc[32];
+static octet rc[35];
/*----- Main code ---------------------------------------------------------*/
fputs("\
/* --- The round constants --- */\n\
\n\
-const octet square_rcon[32] = {\n\
+const octet square_rcon[35] = {\n\
", stdout);
for (i = 0; i < sizeof(rc); i++) {
printf("0x%02x", rc[i]);