for (i = 0; i < 4; i++) {
fputs(" { ", stdout);
for (j = 0; j < 256; j++) {
printf("0x%08lx", (unsigned long)t[i][j]);
if (j == 255) {
if (i == 3)
for (i = 0; i < 4; i++) {
fputs(" { ", stdout);
for (j = 0; j < 256; j++) {
printf("0x%08lx", (unsigned long)t[i][j]);
if (j == 255) {
if (i == 3)