{ ", stdout);
for (j = 0; j < 8; j++) {
for (i = 0; i < 256; i++) {
printf("X64(%08lx, %08lx)", w32(j, i, 0), w32(j, i, 1));
if (i == 255) {
if (j == 7)
{ ", stdout);
for (j = 0; j < 8; j++) {
for (i = 0; i < 256; i++) {
printf("X64(%08lx, %08lx)", w32(j, i, 0), w32(j, i, 1));
if (i == 255) {
if (j == 7)