table_section_crc32_write_into
nbytes += table_section_crc32_write_into(&c_args);
nbytes += table_section_crc32_write_into(&c_args);
nbytes += table_section_crc32_write_into(&c_args);
nbytes += table_section_crc32_write_into(&c_args);
nbytes += table_section_crc32_write_into(&c_args);