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