write_table32hi
local void write_table32hi(FILE *, const z_word_t FAR *, int);
write_table32hi(out, crc_big_table, 256);
write_table32hi(out, big[k], 256);
local void write_table32hi(FILE *, const z_word_t FAR *, int);
write_table32hi(out, crc_big_table, 256);
write_table32hi(out, big[k], 256);